Operational semantics for declarative multi-paradigm languages

Journal of Symbolic Computation

Volumn 40, Issue 1 SPEC. ISS., 2005, Pages 795-829

  Albert, Elvira ^a   Hanus, Michael ^b   Huch, Frank ^b   Oliver, Javier ^c   Vidal, Germán ^c  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b UNIVERSITY OF KIEL   (Germany)

^c UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Functional logic programming; Operational semantics

Indexed keywords

EID: 18144369622     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2004.01.001     Document Type: Article

References (60)

1. H. Aït-Kaci P. Lincoln R. Nasr Le Fun: Logic, equations, and functions In: Proc. of the 4th IEEE Int'l Symp. on Logic Programming 1987 IEEE Press New York 17-23
2. E. Albert S. Antoy G. Vidal Measuring the effectiveness of partial evaluation in functional logic languages In: Proc. of the 10th Int'l Workshop on Logic-based Program Synthesis and Transformation LOPSTR 2000 In: LNCS vol. 2042 2001 Springer 103-124
3. E. Albert M. Hanus F. Huch J. Oliver G. Vidal An operational semantics for declarative multi-paradigm languages In: Proc. of the Int'l Workshop on Reduction Strategies in Rewriting and Programming WRS 2002 In: Electronic Notes in Theoretical Computer Science vol. 70(6) 2002 Elsevier Science Publishers
4. E. Albert M. Hanus F. Huch J. Oliver G. Vidal Operational semantics for functional logic languages In: Proc. of the Int'l Workshop on Functional and (Constraint) Logic Programming WFLP 2002 In: Electronic Notes in Theoretical Computer Science vol. 76 2002 Elsevier Science Publishers
5. E. Albert M. Hanus G. Vidal A practical partial evaluation scheme for multi-paradigm declarative languages Journal of Functional and Logic Programming 1 2002
6. E. Albert G. Vidal The narrowing-driven approach to functional logic program specialization New Generation Computing 20 1 2001 3-26
7. E. Albert G. Vidal Symbolic profiling of multi-paradigm declarative languages In: Proc. of the Int'l Workshop on Logic-based Program Synthesis and Transformation LOPSTR 2001 In: LNCS vol. 2372 2002 Springer 148-167
8. S. Antoy Constructor-based conditional narrowing In: Proc. of the 3rd Int'l ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP 2001 2001 ACM Press 199-206
9. S. Antoy R. Echahed M. Hanus A needed narrowing strategy Journal of the ACM 47 4 2000 776-822
10. S. Antoy M. Hanus Compiling multi-paradigm declarative programs into Prolog In: Proc. of the Int'l Workshop on Frontiers of Combining Systems FroCoS 2000 In: LNCS vol. 1794 2000 Springer 171-185
11. J. Armstrong M. Williams C. Wikstrom R. Virding Concurrent Programming in Erlang 1996 Prentice Hall
12. H. Barendregt The Lambda Calculus - Its Syntax and Semantics 1984 Elsevier
13. E. Börger A logical operational semantics of full Prolog. Part I: Selection core and control In: Proc. of the 3rd Int'l Workshop on Computer Science Logic CSL'89 In: LNCS vol. 440 1990 Springer 36-64
14. E. Börger A logical operational semantics of full Prolog. Part II: Built-in predicates for database manipulations In: Proc. of Mathematical Foundations of Computer Science In: LNCS vol. 452 1990 Springer 1-14
15. E. Börger F. López-Fraguas M. Rodríguez-Artalejo A model for mathematical analysis of functional logic languages and their implementations In: Proc. of the IFIP 13th World Computer Congress IFIP'94 1994 IFIP-transactions A-51 410-415
16. E. Börger D. Rosenzweig A mathematical definition of full Prolog Science of Computer Programming 24 3 1995 249-286
17. E. Börger D. Rosenzweig The WAM - Definition and compiler correctness In: Logic Programming: Formal Methods and Practical Applications 1995 Elsevier Science Publishers 20-90
18. Braßel B. Hanus M. Huch F. Silva J. Vidal G. 2004a. Run-time profiling of functional logic programs. In: Pre-Proceedings of the Int'l Symposium on Logic-based Program Synthesis and Transformation. LOPSTR. 2004
19. B. Braßel M. Hanus F. Huch G. Vidal A semantics for tracing declarative multi-paradigm programs In: Proc. of the 9th ACM SIGPLAN Int'l Conference on Principles and Practice of Declarative Programming PPDP'04 2004 ACM Press
20. M. Chakravarty Y. Guo M. Köhler H. Lock Goffin - Higher-order functions meet concurrent constraints Science of Computer Programming 30 1-2 1998 157-199
21. L. Damas R. Milner Principal type-schemes for functional programs In: Proc. of the 9th Annual Symposium on Principles of Programming Languages POPL'82 1982 ACM Press 207-212
22. M. Debbabi D. Bolignano A semantic theory for ML higher-order concurrency primitives In: F. Nielson (ed.) ML with Concurrency: Design, Analysis, Implementation and Application In: Monographs in Computer Science 1997 Springer 145-184
23. S. Debray P. Mishra Denotational and operational semantics for Prolog Journal of Logic Programming 5 1988 61-91
24. R. Echahed J. Janodet Admissible graph rewriting and narrowing In: Proc. of the 1998 Joint Int'l Conference and Symposium on Logic Programming JICSLP'98 1998 MIT Press 325-340
25. E. Giovannetti G. Levi C. Moiso C. Palamidessi Kernel Leaf: A logic plus functional language Journal of Computer and System Sciences 42 1991 363-377
26. J. González-Moreno M. Hortalá-González F. López-Fraguas M. Rodríguez-Artalejo An approach to declarative programming based on a rewriting logic Journal of Logic Programming 40 1999 47-87
27. Y. Gurevich Sequential abstract state machines capture sequential algorithms ACM Transactions on Computational Logic 1 1 2000 77-111
28. A. Habel D. Plump Term graph narrowing Mathematical Structures in Computer Science 6 6 1996 649-676
29. M. Hanus Parametric order-sorted types in logic programming In: Proc. of the TAPSOFT'91 In: LNCS vol. 494 1991 Springer 181-200
30. M. Hanus The integration of functions into logic programming: From theory to practice Journal of Logic Programming 19&20 1994 583-628
31. M. Hanus A unified computation model for functional and logic programming In: Proc. of the 24th ACM Symp. on Principles of Programming Languages POPL'97 1997 ACM New York 80-93
32. Hanus M. 2003 Curry: An integrated functional logic language. Available at: http://www.informatik.uni-kiel.de/~curry/
33. M. Hanus J. Koj An integrated development environment for declarative multi-paradigm programming In: Proc. of the Int'l Workshop on Logic Programming Environments WLPE 2001 2001 Paphos Cyprus 1-14
34. M. Hanus C. Prehofer Higher-order narrowing with definitional trees Journal of Functional Programming 9 1 1999 33-75
35. S. Haridi S. Janson C. Palamidessi Structural operational semantics for AKL Journal of Future Generation Computer Systems 8 1992 409-421
36. T. Hortalá-González E. Ullán An abstract machine based system for a lazy narrowing calculus In: Proc. of the 5th Int'l Symp. on Functional and Logic Programming FLOPS 2001 In: LNCS vol. 2024 2001 Springer 216-232
37. Huber M. Varsek I. 1987 Extended Prolog with order-sorted resolution. In: Proc. of the 4th IEEE Int'l Symposium on Logic Programming. San Francisco, pp. 34-43
38. S. Janson S. Haridi Programming paradigms of the Andorra Kernel Language In: Proc. of the Int'l Logic Programming Symposium 1991 MIT Press 167-183
39. Jones N. Mycroft A. 1984 Stepwise development of operational and denotational semantics for Prolog. In: Proc. of the 2nd Int'l Conf. on Logic Programming. ICLP'84, pp. 281-288
40. J. Launchbury A natural semantics for lazy evaluation In: Proc. of the ACM Symp. on Principles of Programming Languages POPL'93 1993 ACM Press 144-154
41. J. Lloyd Foundations of Logic Programming second ed 1987 Springer-Verlag Berlin
42. J. Lloyd Programming in an integrated functional and logic language Journal of Functional and Logic Programming 3 1999 1-49
43. F. López-Fraguas J. Sánchez-Hernández TOY: A multiparadigm declarative system In: Proc. of the 10th Int'l Conf. on Rewriting Techniques and Applications. RTA'99 In: LNCS vol. 1631 1999 Springer 244-247
44. J. Moreno-Navarro M. Rodríguez-Artalejo Logic programming with functions and predicates: The language Babel Journal of Logic Programming 12 3 1992 191-224
45. P. Panangaden J. Reppy The essence of concurrent ML In: F. Nielson (Ed.) ML with Concurrency: Design, Analysis, Implementation, and Application Monographs in Computer Science 1997 Springer 5-29
46. S. Peyton-Jones (Ed.) Haskell 98 Language and Libraries - The Revised Report 2003 Cambridge University Press
47. S. Peyton Jones A. Gordon S. Finne Concurrent Haskell In: Proc. of the 23rd ACM Symposium on Principles of Programming Languages POPL'96 1996 ACM Press 295-308
48. A. Podelski G. Smolka Operational semantics of constraint logic programs with coroutining In: Proc. of the 12th Int'l Conference on Logic Programming ICLP'95 1995 MIT Press 449-463
49. P. Sansom S. Peyton-Jones Formally based profiling for higher-order functional languages ACM Transactions on Programming Languages and Systems 19 2 1997 334-385
50. V. Saraswat M. Rinard P. Panangaden Semantic foundation of concurrent constraint programming In: Proc. of 18th ACM Symp. on Principles of Programming Languages POPL'91 1991 ACM New York 333-352
51. C. Schulte G. Smolka Encapsulated search for higher-order concurrent constraint programming In: Proc. of the 1994 Int'l Logic Programming Symposium 1994 MIT Press 505-520
52. P. Sestoft Deriving a lazy abstract machine Journal of Functional Programming 7 3 1997 231-264
53. J. Slagle Automated theorem-proving for theories with simplifiers, commutativity and associativity Journal of the ACM 21 4 1974 622-642
54. G. Smolka Logic programming with polymorphically order-sorted types In: Proc. of the 1st Int'l Workshop on Algebraic and Logic Programming In: LNCS vol. 343 1988 Springer 53-70
55. G. Smolka A foundation for higher-order concurrent constraint programming In: Proc. of the 1st Int'l Conference on Constraints in Computational Logics In: LNCS vol. 845 1994 Springer 50-72
56. G. Vidal Cost-augmented partial evaluation of functional logic programs Higher-Order and Symbolic Computation 17 1-2 2004 7-46
57. P. Wadler S. Blott How to make ad-hoc polymorphism less ad hoc In: Proc. of the 16th ACM Symp. on Principles of Programming Languages POPL'89 1989 ACM Press 60-76
58. Wallace M. Chitil O. Brehm T. Runciman C. 2001 Multiple-view tracing for Haskell: A new Hat. In: Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23
59. Warren D. 1983 An abstract Prolog instruction set. Technical note 309, SRI International, Stanford
60. D.H.D. Warren Higher-order extensions to Prolog - Are they needed? In: J.E. Hayes D. Michie Y.-H. (eds.) Pao Machine Intelligence vol. 10 1982 Ellis Horwood