JITty: A rewriter with strategy annotations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2378, Issue , 2002, Pages 367-370

  van de Pol, Jaco ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947248240     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45610-4_26     Document Type: Conference Paper

References (4)

1. S. Blom, W. Fokkink, J. Groote, I. van Langevelde, B. Lisser, and J. van de Pol. μCRL: A toolset for analysing algebraic specifications. In Proceedings of CAV 2001, LNCS 2102, pages 250–254, 2001. See also http://www.cwi.nl/˜mcrl/.
2. M. van den Brand, H. de Jong, P. Klint, and P.A. Olivier. Efficient Annotated Terms. Software – Practice & Experience, 30:259–291, 2000.
3. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In J. Goguen and G. Malcolm, editors, Software Engineering with OBJ: algebraic specification in action. Kluwer, 2000.
4. J. van de Pol. Just-in-time: On strategy annotations. In B. Gramlich and S. Lucas, editors, Electronic Notes in TCS, volume 57, 2001. (Proc. of WRS 2001, Utrecht).