LeanEA: A lean evolving algebra compiler

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

Volumn 1092, Issue , 1996, Pages 64-85

  Beckert, Bernhard ^a   Posegga, Joachim ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b DEUTSCHE TELEKOM LABORATORIES   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; PROLOG (PROGRAMMING LANGUAGE); RECONFIGURABLE HARDWARE;

FLEXIBLE SIMULATORS; PROLOG PROGRAMS;

C (PROGRAMMING LANGUAGE);

EID: 84957709552     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61377-3_32     Document Type: Conference Paper

References (9)

1. Börger, Egon, & Rosenzweig, Dean. 1995. A Mathematical Definition of Full Prolog. Science of Computer Programming, 24(3), 249-286.
2. Börger, Egon, Durdanovic Igor,& Rosenzweig, Dean. 1994a. Occam: Specification and Compiler Correctness. Pages 489-508 of: Montanari, U.,& Olderog, E.-R. (eds), Proceedings, IFIP Working Conference on Programming Concepts, Melhods and Calculi (PROCOMET 94). North- Holland.
3. Börger, Egon, Del Castillo, Giuseppe, Glavan, P., & Rosenzweig, Dean. 1994b. Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. Pages 396-401 of: PEHRSON, B., &: SIMON, I. (eds), Proceedings, IFIP 13ih World Computer Congress, vol. 1. Amsterdam: Elsevier.
4. Gurevich, Yuri. 1991. Evolving Algebras. A Tutorial Introduction. Bulletin of the EATCS, 43, 264-284.
5. Gurevich, Yuri. 1995. Evolving Algebras 1993: Lipari Guide. In: BORGER, E. (ed), Specification and ValidaLion Melhods. Oxford University Press.
6. Gurevich, Yuri, & Huggins, Jim. 1993. The Semantics of the C Programming Language. Pages 273-309 of: Proceedings, Computer Science Logic (CSL). LNCS 702. Springer.
7. Gurevich, Yuri, & Mani, Raghu. 1995. Group Membership Protocol: Specification and Verification. In: BORGER, E. (ed), Specification and Validation Methods. Oxford University Press.
8. Kappel, Angelica M. 1993. Executable Specifications based on Dynamic Algebras. Pages 229-240 of: Proceedings, 4th Iniernalional Conference on Logic Programming and Automated Reasoning (LPAR), St. Petersburg, Russia. LNCS 698. Springer.
9. O'Keefe, Richard A. 1990. The Craft of Prolog. MIT Press.