A unified computation model for functional and logic programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A unified computation model for functional and logic programming

Full text

Pdf (1.17 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Paris, France

Pages: 80 - 93

Year of Publication: 1997

ISBN:0-89791-853-3

Author

Michael Hanus

Informatik II, RWTH, Aschen, germany

Sponsors

L'Ecole des Mines de Paris : L'Ecole des Mines de Paris
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Ctr Natl de la Recherche Sci :
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 34, Citation Count: 31

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/263699.263710 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	H. A'it-Kaci. Aa Overview of LIFE. In J.W. Schmidt and A.A. Stogny, editors, Proc. Workshop on Next Generation Information System Technology, pp. 42-58. Springer LNCS 504, 1990.
	2	H. Ai't-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and Functions. In Proc. 4th IEEE lnternat. Symposium on Logic Programming, pp. 17-23, San Francisco, 1987.
	3	Sergio Antoy, Definitional Trees, Proceedings of the Third International Conference on Algebraic and Logic Programming, p.143-157, September 02-04, 1992
	4	Sergio Antoy , Rachid Echahed , Michael Hanus, A needed narrowing strategy, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.268-279, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177899]
	5	S. Antoy, R. Echahed, and M. Hanus. A Parallel Narrowing Strategy. Technical Report TR 96-1, Portland State University, 1996.
	6	J A Bergstra , J W Klop, Conditional rewrite rules: Confluence and termination, Journal of Computer and System Sciences, v.32 n.3, p.323-362, June 1986 [doi>10.1016/0022-0000(86)90033-4]
	7	D Bert , R Echahed, Design and implementation of a generic, logic and functional programming language, Proc. of the European symposium on programming on ESOP 86, p.119-132, March 1986, Saarbru:9Aicken, Germany
	8	P.G. Bosco , E. Giovanetti , C. Moiso, Narrowing vs. SLD-resolution, Theoretical Computer Science, v.59 n.1-2, p.3-23, July 1988 [doi>10.1016/0304-3975(88)90095-3]
	9	Nachum Dershowitz , Jean-Pierre Jouannaud, Rewrite systems, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	10	L. Fribourg. SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. in Proc. 1EEE Inter'nat. Symposium on Logic Programming, pp. 172-184, Boston, 1985.
	11	Elio Giovannetti , Giorgio Levi , Corrado Moiso , Catuscia Palamidessi, Kernel-LEAF: a logic plus functional language, Journal of Computer and System Sciences, v.42 n.2, p.139-185, April 1991 [doi>10.1016/0022-0000(91)90009-T]
	12	J. C. González-Moreno , Maria Teresa Hortalá-González , Francisco Javier López-Fraguas , Mario Rodríguez-Artalejo, A Rewriting Logic for Declarative Programming, Proceedings of the 6th European Symposium on Programming Languages and Systems, p.156-172, April 22-24, 1996
	13	Michael Hanus, Compiling Logic Programs with Equality, Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming, p.387-400, August 20-22, 1990
	14	Michael Hanus, Improving Control of Logic Programs by Using Functional Logic Languages, Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, p.1-23, August 26-28, 1992
	15	Michael Hanus, Combining Lazy Narrowing and Simplification, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, p.370-384, September 14-16, 1994
	16	M. Hanus. The Integration of Functions into Logic Programming: Prom Theory to Practice. Journal of Logic Programming, Vol. 19&20, pp. 583-628, 1994.
	17	M. Hanus. Analysis of Residuating Logic Programs. Journal of Logic Programming, Vol. 24, No. 3, pp. 161-199, 1995.
	18	Michael Hanus, Efficient Translation of Lazy Functional Logic Programs into Prolog, Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation, p.252-266, September 20-22, 1995
	19	M. Hanus, H. Kuchen, and J.J. Moreno-Navarro. Curry: A Truly Functional Logic Language. In Proc. ILPS'95 Workshop on Visions for the Fixture of Logic Programming, 1995.
	20	Michael Hanus , Christian Prehofer, Higher-Order Narrowing with Definitional Trees, Proceedings of the 7th International Conference on Rewriting Techniques and Applications, p.138-152, July 27-30, 1996
	21	J. W. Lloyd, Combining functional and logic programming languages, Proceedings of the 1994 International Symposium on Logic programming, p.43-57, November 1994, Symposia, Melbourne
	22	J. W. Lloyd, Declarative Programming in Escher, University of Bristol, Bristol, UK, 1995
	23	Rita Loogen , Francisco Javier López-Fraguas , Mario Rodríguez-Artalejo, A Demand Driven Computation Strategy for Lazy Narrowing, Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming, p.184-200, August 25-27, 1993
	24	Rita Loogen , Stephan Winkler, Dynamic detection of determinism in functional logic languages, Theoretical Computer Science, v.142 n.1, p.59-87, May 1, 1995
	25	Juan José Moreno-Navarro , Herbert Kuchen , Rita Loogen , Mario Rodríguez-Artalejo, Lazy Narrowing in a Graph Machine, Proceedings of the Second International Conference on Algebraic and Logic Programming, p.298-317, October 01-03, 1990
	26	Juan Jose Moreno-Navarro , Mario Rodriguez-Artalejo, Logic programming with functions and predicates: the language Babel, Journal of Logic Programming, v.12 n.3, p.191-223, Feb. 1992 [doi>10.1016/0743-1066(92)90024-W]
	27	L. Naish. Adding equations to NU-Prolog. In Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming, pp. 15-26. Springer LNCS 528, 1991.
	28	U.S. Reddy. Narrowing as the Operational Semantics of Functional Languages. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 138- 151, Boston, 1985.
	29	G. Smolka. The Oz Programming Model. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, pp. 324-343. Springer LNCS 1000, 1995.
	30	Philip Wadler, Monads for Functional Programming, Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text, p.24-52, May 24-30, 1995
	31	D.H.D. Warren. Higher-order extensions to PRO- LOG: are they needed? In Machine Intelligence 10, pp. 441-454, 1982.

CITED BY 31

	Sergio Antoy , Bart Massey , Michael Hanus , Frank Steiner, An implementation of narrowing strategies, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.207-217, September 05-07, 2001, Florence, Italy
	Sergio Antoy , Rachid Echahed , Michael Hanus, A needed narrowing strategy, Journal of the ACM (JACM), v.47 n.4, p.776-822, July 2000
	María Alpuente , Michael Hanus , Salvador Lucas , Germán Vidal, Specialization of inductively sequential functional logic programs, ACM SIGPLAN Notices, v.34 n.9, p.273-283, Sept. 1999
	Sergio Antoy, Constructor-based conditional narrowing, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.199-206, September 05-07, 2001, Florence, Italy
	Harold Boley, Cross-fertilizing logic programming and XML for knowledge representation, Knowledge media in healthcare: opportunities and challenges, Idea Group Publishing, Hershey, PA, 2002
	Germán Vidal, Cost-augmented narrowing-driven specialization, ACM SIGPLAN Notices, v.37 n.3, p.52-62, March 2002
	Matthias Neubauer , Peter Thiemann , Martin Gasbichler , Michael Sperber, Functional logic overloading, ACM SIGPLAN Notices, v.37 n.1, p.233-244, Jan. 2002
	Michael Hanus, Integration of declarative paradigms: benefits and challenges, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Michael Hanus , Frank Steiner, Type-based nondeterminism checking in functional logic programs, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.202-213, September 20-23, 2000, Montreal, Quebec, Canada
	Elvira Albert , Michael Hanus , Germán Vidal, A residualizing semantics for the partial evaluation of functional logic programs, Information Processing Letters, v.85 n.1, p.19-25, 16 January 2003
	Germán Vidal, Cost-Augmented Partial Evaluation of Functional Logic Programs, Higher-Order and Symbolic Computation, v.17 n.1-2, p.7-46, March-June 2004
	Andrew Tolmach , Sergio Antoy , Marius Nita, Implementing functional logic languages using multiple threads and stores, ACM SIGPLAN Notices, v.39 n.9, September 2004
	B. Brassel , M. Hanus , F. Huch , G. Vidal, A semantics for tracing declarative multi-paradigm programs, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.179-190, August 24-26, 2004, Verona, Italy
	Mircea Marin , Aart Middeldorp, New completeness results for lazy conditional narrowing, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.120-131, August 24-26, 2004, Verona, Italy
	Claudio Ochoa , Josep Silva , Germán Vidal, Dynamic slicing based on redex trails, Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.123-134, August 24-25, 2004, Verona, Italy
	Michael Hanus, A generic analysis environment for declarative programs, Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, September 29-29, 2005, Tallinn, Estonia
	Claudio Ochoa , Josep Silva , Germán Vidal, Lightweight program specialization via dynamic slicing, Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, September 29-29, 2005, Tallinn, Estonia
	Elvira Albert , Germán Vidal, The narrowing-driven approach to functional logic program specialization, New Generation Computing, v.20 n.1, p.3-26, January 2002
	Michael Hanus, Type-oriented construction of web user interfaces, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Tom Schrijvers , Maurice Bruynooghe, Polymorphic algebraic data type reconstruction, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Michael Hanus, Putting declarative programming into the web: translating curry to javascript, Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming, July 14-16, 2007, Wroclaw, Poland
	Josep Silva , Germán Vidal, Forward slicing of functional logic programs by partial evaluation, Theory and Practice of Logic Programming, v.7 n.1-2, p.215-247, January 2007
	K. L. Clark , F. G. McCabe, Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents, Annals of Mathematics and Artificial Intelligence, v.41 n.2-4, p.171-206, August 2004
	Francisco J. López Fraguas , Mario Rodríguez Artalejo , Rafael Del Vírseda, A new generic scheme for functional logic programming with constraints, Higher-Order and Symbolic Computation, v.20 n.1-2, p.73-122, June 2007
	María Alpuente , Salvador Lucas , Germán Vidal , Michael Hanus, Specialization of functional logic programs based on needed narrowing, Theory and Practice of Logic Programming, v.5 n.3, p.273-303, May 2005
	Sergio Antoy , Michael Hanus, Concurrent distinct choices, Journal of Functional Programming, v.14 n.6, p.657-668, November 2004
	Peter Van Roy , Per Brand , Denys Duchier , Seif Haridi , Christian Schulte , Martin Henz, Logic programming in the context of multiparadigm programming: the Oz experience, Theory and Practice of Logic Programming, v.3 n.6, p.717-763, November 2003
	Michael Hanus , Christian Prehofer, Higher-order narrowing with definitional trees, Journal of Functional Programming, v.9 n.1, p.33-75, January 1999
	Michael Hanus, Call pattern analysis for functional logic programs, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
	Claudio Ochoa , Josep Silva , Germán Vidal, Dynamic slicing of lazy functional programs based on redex trails, Higher-Order and Symbolic Computation, v.21 n.1-2, p.147-192, June 2008
	Luigi Liquori , Bernard paul Serpette, Irho: An imperative rewriting calculus, Mathematical Structures in Computer Science, v.18 n.3, p.467-500, June 2008

INDEX TERMS

Primary Classification:
D. Software
D.1 PROGRAMMING TECHNIQUES
D.1.1 Applicative (Functional) Programming

Additional Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.2 Semantics of Programming Languages
Subjects: Operational semantics
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.1 Mathematical Logic

General Terms:
Design, Languages, Performance, Theory

REVIEW

"German Vidal : Reviewer"

The most popular declarative programming paradigms, namely functional and logic programming, have many useful features that ease the software development process. Logic programming supports logical variables, partial data structures, and built-in more...

Collaborative Colleagues:

Michael Hanus: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player