LPS: A language prototyping system using modular monadic semantics

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 2, 2001, Pages 110-131

  Labra Gayo, J E ^a   Luengo Diez M C ^a   Cueva Lovelle, J M ^a   Cernuda Del Rio A ^a  

^a UNIVERSITY OF OVIEDO   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; GRAPHICAL USER INTERFACES; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; PROGRAM INTERPRETERS; SEMANTICS;

GENERIC PROGRAMMING; LANGUAGE TESTING; META-LANGUAGE; MONADS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944402476     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80923-X     Document Type: Conference Paper

References (54)

1. Language Prototyping System. http://lsi.uniovi.es/~labra/LPS/LPS.html.
2. Álvarez D., Tajes L., Álvarez F., Diaz M.A., Izquierdo R., Cueva J.M. An object-oriented abstract machine as the substrate for an object-oriented operating system. Bosch J., Mitchell S. Object Oriented Technology ECOOP'97. LNCS 1357:June 1997;Springer Verlag, Jÿvaskÿla, Finland
3. Backhouse Roland, Jansson Patrik, Jeuring Johan, Meertens Lambert. Generic programming - an introduction. Swierstra S.D., Henriques P.R., Oliveira J.N. Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science. 1999;Springer
4. Barbosa L.S. Components as processes: An exercise in coalgebraic modeling. Smith S.F., Talcott C.L. FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems. September 2000;397-417 Kluwer Academic Publishers, Stanford, USA
5. Benton N., Hughes J., Moggi E. Monads and effects. International Summer School On Applied Semantics APPSEM'2000. 2000;Caminha, Portugal
6. Bird R., de Moor Oege. Algebra of Programming. 1997;Prentice Hall
7. Diaz M.A., Álvarez D., Garcia-Mendoza A., Álvarez F., Tajes L., Cueva J.M. Merging capabilities with the object model of an object-oriented abstract machine. Demeyer S., Bosch J. Ecoop'98 Workshop on Distributed Object Security. LNCS volume 1543:1998;273-276
8. Doh K., Mosses P. Composing programming languages by combining action-semantics modules. van den Brand M., Mernik M., Parigot D. First workshop on Language, Descriptions, Tools and Applications. April 2001;Genova, Italy
9. Duponcheel Luc. Writing modular interpreters using catamorphisms, subtypes and monad transformers. 1995;Utrecht University
10. David Espinosa. Semantic Lego. PhD thesis, Columbia University, 1995.
11. Fokkinga Maarten M. Monadic maps and folds for arbitrary datatypes. Memoranda Informatica 94-28. June 1994;Dept. of Computer Science, Univ. of Twente
12. Benedict R. Gaster and Mark P. Jones. A Polymorphic Type System for Extensible Records and Variants. Technical Report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham, November 1996.
13. William Harrison and Samuel Kamin. Modular compilers based on monad transformers. In Proceedings of the IEEE International Conference on Computer Languages 1998.
14. William Harrison and Samuel Kamin. Compilation as metacomputation: Binding time separation in modular compilers. In 5th Mathematics of Program Construction Conference, MPC2000, Ponte de Lima, Portugal, June 2000.
15. Jan Heering. Application software, domain-specific languages and language design assistants. In Proceedings SSGRR 2000 International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, Italy, 2000.
16. R. Hinze. A generic programming extension for Haskell. In E. Meijer, editor, Proceedings of the 3rd Haskell Workshop, Paris, France, September 1999. The proceedings appear as a technical report of Universiteit Utrecht, UU-CS-1999-28.
17. Ralf Hinze. Deriving backtracking monad transformers. In Roland Backhouse and J.N. Oliveira, editors, Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000, September 2000.
18. Ralf Hinze. A new approach to generic functional programming. In Conference Record of POPL'OO: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2000.
19. Z. Hu and H. Iwasaki. Promotional transformation of monadic programs. In Workshop on Functional and Logic Programming, Susono, Japan, 1995. World Scientific.
20. Hudak P. Domain-specific languages. Peter Salus H. Handbook of Programming Languages, volume III, Little Languages and Tools. 1998;Macmillan Technical Publishing
21. Hughes John. The design of a pretty-printing library. Jeuring J., Meijer E. First International School on Advanced Functional Programming, volume 925 of LNCS. 1995;Springer Verlag
22. G. Hutton and E. Meijer. Monadic parser combinators. Technical Report NOTTCS-TR-96-4, University of Nottingham, December 1996.
23. Jacobs B., Poll E. A monad for basic Java semantics. Rus T. Algebraic Methodology and Software Technology, number 1816 in LNCS. 2000;Springer
24. Bart Jacobs. Coalgebraic reasoning about classes in object-oriented languages. In Coalgebraic Methods in Computer Science, number 11. Electronic Notes in Computer Science, 1998.
25. Mark P. Jones. First-class Polymorphism with Type Inference. In Proceedings of the Twenty Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, January 15-17 1997.
26. Jones Mark P., Duponcheel L. Composing monads. YALEU/DCS/RR 1004. 1993;Yale University, New Haven, CT, USA
27. S. P. Jones, J. Hughes, L. Augustsson, D. Barton, B. Boutel, W. Burton, J. Fasel, K. Hammond, R. Hinze, P. Hudak, T. Johnsson, M. Jones, J. Launchbury, E. Meijer, J. Peterson, A. Reid, C. Runciman, and P. Wadler. Haskell 98: A Non-strict, Purely Functional Language. Technical report, February 1999.
28. Kamin S. Research on domain-specific embedded languages and program generators. Electronic Notes in Theoretical Computer Science, Elsevier Press. 12:1998
29. Richard B. Kieburtz. Designing and implementing closed domain-specific languages. Invited talk at the Workshop on Semantics, Applications and Implementation of Program Generation (SAIG), 2000.
30. J. E. Labra. An implementation of modular monadic semantics using folds and monadic folds. In Workshop on Research Themes on Functional Programming, Third International Summer School on Advanced Functional Programming, Braga - Portugal, 1998.
31. J. E. Labra, J. M. Cueva, and C. Luengo. Language prototyping using modular monadic semantics. In 3rd Latin-American Conference on Functional Programming, Recife - Brazil, March 1999.
32. Jose E. Labra. Modular Development of Language Processors from Reusable Semantic Specifications. PhD thesis, Dept. of Computer Science, University of Oviedo, 2001. In Spanish.
33. Jose E. Labra, Juan M. Cueva, and Maria C. Luengo. Modular development of interpreters from semantic building blocks. In The 12th Nordic Workshop on Programming Theory, Bergen, Norway, October 2000. University of Bergen.
34. Konstantin Laufer. Combining type classes and existential types. In Proceedings of the Latin American Informatics Conference, Mexico, 1994.
35. Daan Leijen. Parsec. http://www.cs.uu.nl/~daan/parsec.html, 2000.
36. Sheng Liang. Modular Monadic Semantics and Compilation. PhD thesis, Graduate School of Yale University, May 1998.
37. Sheng Liang and Paul Hudak. Modular denotational semantics for compiler construction. In Programming Languages and Systems - ESOP'96, Proc. 6th European Symposium on Programming, Linköping, volume 1058 of Lecture Notes in Computer Science, pages 219-234. Springer-Verlag, 1996.
38. Sheng Liang, Paul Hudak, and Mark P. Jones. Monad transformers and modular interpreters. In 22rd ACM Symposium on Principles of Programming Languages, San Francisco, CA. ACM, January 1995.
39. Malcolm Grant. Data structures and program transformation. Science of Computer Programming. 14:1990;255-279
40. Meijer E., Fokkinga M.M., Paterson R. Functional programming with bananas, lenses, envelopes and barbed wire. Functional Programming and Computer Architecture. 1991;124-144 Springer-Verlag
41. Meijer E., Jeuring J. Merging monads and folds for functional programming. Jeuring J., Meijer E. Advanced Functional Programming. Lecture Notes in Computer Science 925:1995;228-266 Springer-Verlag
42. Moggi E. Metalanguages and applications. Pitts A.M., Dybjer P. Semantics and Logics of Computation. Publications of the Newton Institute:1997;Cambridge University Press
43. Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Edinburgh Univ., Dept. of Comp. Sci., June 1989. Lecture Notes for course CS 359, Stanford Univ.
44. Mosses P.D. Semantics, modularity, and rewriting logic. Kirchner C., Kirchner H. International Workshop on Rewriting Logic and its Applications, volume 15 of Electronic Notes in Theoretical Computer Science. 1998;Elsevier Science
45. Mosses Peter D. Theory and practice of action semantics. 21st Int. Symp. on Mathematical Foundations of Computer Science. Lecture Notes in Computer Science volume 1113:Sept 1996;37-61 Springer-Verlag, Cracow, Poland
46. Tim Sheard and Leonidas Fegaras. A fold for all seasons. In Proceedings 6th ACM SIGPLAN/SIGARCH Intl. Conf. on Functional Programming Languages and Computer Architecture, FPCA'93, Copenhagen, Denmark, 9-11 June 1993, pages 233-242. ACM, New York, 1993.
47. Guy L. Steele, Jr. Building interpreters by composing monads. In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17-21, 1994, pages 472-492, New York, USA, 1994. ACM Press.
48. Tajes L., Álvarez F., Álvarez D., Diaz M.A., Cueva J.M. A computational model for a distributed object-oriented operating system based on a reflective abstract machine. Demeyer S., Bosch J. Ecoop'98 Workshop on Reflective Object-Oriented Programming and Systems. LNCS volume 1543:1998;382-383
49. Turi Daniele, Rutten Jan. On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces. Mathematical Structures in Computer Science. 8:(5):1998;481-540
50. van den Brand M., et al. The asf+sdf meta-environment: a component-based language development environment. Compiler Construction. LNCS:2001;Springer- Verlag
51. van Deursen Arie, Klint Paul, Visser Joost. Domain-specific languages: An annotated bibliography. ACM SIGPLAN Notices. 35:(6):June 2000;26-36
52. P. Wadler. Comprehending monads. In ACM Conference on Lisp and Functional Programming, pages 61-78, Nice, France, June 1990. ACM Press.
53. P. Wadler. The essence of functional programming. In POPL '92, Albuquerque, 1992.
54. Keith Wansbrough and John Hamer. A modular monadic action semantics. In The Conference on Domain-Specific Languages, pages 157-170, Santa Barbara, California, 1997. The USENIX Association.