Roles of program extension

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

Volumn 1817, Issue , 2000, Pages 136-155

  Lämmel, Ralf ^a   Riedewald, Günter ^b   Lohmann, Wolfgang ^b  

^a CWI   (Netherlands)

^b UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; SEMANTICS;

EFFECTIVE APPROACHES; LOGIC PROGRAMS; META PROGRAMMING; PROGRAM TRANSFORMATIONS; PROGRAMMING TECHNIQUE;

COMPUTER CIRCUITS;

EID: 84949634093     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10720327_9     Document Type: Conference Paper

References (31)

1. L. Augustsson. Cayenne - A Language with Dependent Types. In S. D. Swierstra, P. R. Henriques, and J. N. Oliveira, editors, Advanced Functional Programming, Third International School, AFP ‘98, volume 1608 of LNCS, pages 240-267, Braga, Portugal, Sept. 1999. Springer-Verlag.
2. A. Bowers. Effective Meta-programming in Declarative Languages. PhD thesis, Department of Computer Science, University of Bristol, Jan. 1998.
3. A. Bowles, D. Robertson, W. Vasconcelos, V. M. Vargas, and D. Bental. Applying Prolog Programming Techniques. International Journal of Human-Computer Studies, 41(3):329-350, Sept. 1994.
4. J. Boye and J. Maluszynski. Directional Types and the Annotation Method. Journal of Logic Programming, 33(3):179-220, Dec. 1997.
5. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Logic Programming within a Functional Framework. In P. Deransart and J. Ma luszyński, editors, Proceedings of Programming Language Implementation and Logic Programming, number 456 in LNCS, pages 372-386. Springer-Verlag, Aug. 1990.
6. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular Logic Programming. ACM Transactions on Programming Languages and Systems, 16(3):225-237, 1994.
7. D. A. Espinosa. Semantic Lego. PhD thesis, Graduate School of Arts and Sciences, Columbia University, 1995.
8. N. E. Fuchs, editor. Logic program synthesis and transformation: 7th international workshop, LOPSTR’97, Leuven, Belgium, July 10-12, 1997: proceedings, volume 1463 of Lecture Notes in Computer Science, New York, NY, USA, 1998. Springer-Verlag Inc.
9. P. Hill and J. Lloyd. The Gödel Programming Language. MIT Press, 1994.
10. A. Jain. Projections of Logic Programs using Symbol Mappings. In L. Sterling, editor, Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan. MIT Press, June 1995.
11. M. Kirschenbaum, S. Michaylov, and L. Sterling. Skeletons and Techniques as a Normative Approach to Program Development in Logic-Based Languages. In Proceedings ACSC’96, Australian Computer Science Communications, 18(1), pages 516-524, 1996.
12. M. Kirschenbaum, L. Sterling, and A. Jain. Relating logic programs via program maps. In Annals of Mathematics and Artifical Intelligence, 8(3-4), pages 229-246, 1993.
13. A. Lakhotia. A Workbench for Developing Logic Programs by Stepwise Enhancement. PhD thesis, Case Western Reserve University, 1989.
14. R. Lämmel. Functional meta-programs towards reusability in the declarative paradigm. PhD thesis, University of Rostock, Department of Computer Science, 1998. Published by Shaker Verlag, ISBN 3-8265-6042-6.
15. R. Lämmel. Declarative aspect-oriented programming. In O. Danvy, editor, Proceedings PEPM’99, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM’99, San Antonio (Texas), BRICS Notes Series NS-99-1, pages 131-146, Jan. 1999.
16. R. Lämmel and G. Riedewald. Reconstruction of paradigm shifts. In Second Workshop on Attribute Grammars and their Applications, pages 37-56, Mar. 1999. reviewed version submitted to Informatica.
17. W. Lohmann. Ein Rahmenwerk für höherfunktionale Meta-Programmierung. Master’s thesis, University of Rostock, Department of Computer Science, Oct. 1999.
18. E. Meijer and J. Jeuring. Merging Maps and Folds for Functional Programming. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, volume 925 of LNCS, pages 228-266. Springer-Verlag, 1995.
19. E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55-92, July 1991.
20. L. Naish and L. Sterling. A Higher Order Reconstruction of Stepwise Enhancement. In Fuchs [8].
21. A. Pettorossi and M. Proietti. Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys, 28(2):360-414, June 1996.
22. A. Power and L. Sterling. A notion of Map Between Logic Programs. In D. H. D. Warren and P. Szeredi, editors, Proceedings 7th International Conference on Logic Programming, pages 390-404. The MIT Press, 1990.
23. J. Richardson and N. Fuchs. Development of Correct Transformation Schemata for Prolog Programs. In Fuchs [8].
24. D. Robertson. An Empirical Study of the LSS specification Toolkit in Use. In 8th International Conference on Software Engineering and Knowledge Engineering, June 10-12, 1996, Hyatt Regency, Lake Tahoe, Nevada, USA, June 1996.
25. L. Sterling, A. Jain, and M. Kirschenbaum. Composition Based on Skeletons and Techniques. In ILPS ‘93 post conference workshop on Methodologies for Composing Logic Programs, Vancouver, Oct. 1993.
26. L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1994. 2nd edition.
27. W. Taha and T. Sheard. Multi-stage programming with explicit annotations. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-97), volume 32, 12 of ACM SIGPLAN Notices, pages 203-217, New York, June 12-13 1997. ACM Press.
28. P. Wadler. The essence of functional programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-14, Albequerque, New Mexico, Jan. 1992.
29. D. Watt and O. Madsen. Extended attribute grammars. Technical Report no. 10, University of Glasgow, July 1977.
30. J. Whittle, A. Bundy, R. Boulton, and H. Lowe. An ML Editor Based on Proofsas-Programs. In R. Hall and E. Tyugu, editors, Proceedings of ASE-99: The 14th IEEE Conference on Automated Software Engineering, Cocoa Beach, Florida, Oct. 1999. IEEE CS Press.
31. H. Xi and F. Pfenning. Dependent types in practical programming. In Conference Record of POPL ‘99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pages 214-227, New York, N.Y., Jan. 1999. ACM.