A generator of efficient abstract machine implementations and its application to emulator minimization

Lecture Notes in Computer Science

Volumn 3668, Issue , 2005, Pages 21-36

  Morales, José F ^a   Carro, Manuel ^a   Puebla, German ^a   Hermenegildo, Manuel V ^a,b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSITY OF NEW MEXICO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; CODES (SYMBOLS); COMPUTER SCIENCE; DATA REDUCTION; DECISION MAKING; LARGE SCALE SYSTEMS; OPTIMIZATION; PROBLEM SOLVING;

ABSTRACT MACHINES; AUTOMATIC GENERATION; DATA REPRESENTATION; EMULATOR MINIMIZATION;

ABSTRACTING;

EID: 27144520264     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11562931_5     Document Type: Conference Paper

References (20)

1. Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 2001 (2001)
2. Van Roy, P.: Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, Univ. of California Berkeley (1990) Report No. UCB/CSD 90/600.
3. Santos-Costa, V.: Optimising Bytecode Emulation for Prolog. In: International Conference on Principles and Practice of Declarative Programming (PPDP'99). Volume 1702 of LNCS., Springer-Verlag (1999) 261-277
4. Demoen, B., Nguyen, P.L.: So Many WAM Variations, So Little Time. In: Computational Logic 2000, Springer Verlag (2000) 1240-1254
5. Van Roy, P.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming 19/20 (1994) 385-441
6. Hannan, J.: Staging Transformations for Abstract Machines. In: Partial Evaluation and Semantics-Based Program Manipulation (PEPM), ACM SigPlan Notices (1991)
7. Jørring, U., Scherlis, W.: Compilers and staging transformations. In: Thirteenth ACM POPL. (1986) 86-96
8. Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, New York (1993)
9. Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers, Controls 2 (1971) 45-50
10. Warren, D.: An Abstract Prolog Instruction Set. Technical Report 309, SRI International (1983)
11. Ait-Kaci, H.: Warren's Abstract Machine, A Tutorial Reconstruction. MIT Press (1991)
12. Ferreira, M., Damas, L.: Multiple Specialization of WAM Code. In: Practical Aspects of Declarative Languages. Number 1551 in LNCS, Springer (1999)
13. Van Roy, P., Despain, A.: High-Performance Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine (1992) 54-68
14. Tip, F.: A Survey of Program Slicing Techniques. Journal of Programming Languages 3 (1995) 121-189
15. Reps, T., Turnidge, T.: Program Specialization via Program Slicing. In Danvy, O., Glück, R., Thiemann, P., eds.: Partial Evaluation. Dagstuhl Castle, Germany, February 1996, Springer LNCS 1110 (1996) 409-429
16. Weiser, M., ed.: Information and Software Technology: Special Issue on Program Slicing. Volume 40. Elsevier (1999)
17. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., Ĺpez- García, P., Puebla, G.: The Ciao Prolog System. Reference Manual (v1.8). Technical Report CLIP4/2002.1, School of Computer Science, UPM (2002) Available at http://clip.dia.fi.upm.es/Software/Ciao/.
18. Puebla, G., Hermenegildo, M.: Abstract Specialization and its Applications. In: Proc. of PEPM'03, ACM Press (2003) 29-43 Invited talk.
19. Morales, J., Carro, M., Hermenegildo, M.: Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. In: Intnl. Symposium on Practical Aspects of Declarative Languages. Number 3507 in LNCS, Springer (2004) 86-103
20. Nässén, H., Carlsson, M., Sagonas, K.: Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. In: Proceedings of the 3rd ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM Press (2001) 49-60