Type-based nondeterminism checking in functional logic programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Type-based nondeterminism checking in functional logic programs

Full text

Pdf (357 KB)

Source

International Conference on Principles and Practice of Declarative Programming archive
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming table of contents

Montreal, Quebec, Canada

Pages: 202 - 213

Year of Publication: 2000

ISBN:1-58113-265-4

Authors

Michael Hanus	Institut für Informatik, Christian-Albrechts-Universität Kiel, Olshausenstr. 40, D-24098 Kiel, Germany
Frank Steiner	Institut für Informatik, Christian-Albrechts-Universität Kiel, Olshausenstr. 40, D-24098 Kiel, Germany

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 2, Citation Count: 1

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	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/351268.351292 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	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]
	2	L. Cardelli. Type systems. In Allen B. Tucker, Jr. (Editor-in-Chief), The Computer Science and Engineering Handbook. CRC Press, in cooperation with ACM, 1997.
	3	Koen Claessen , Ton Vullinghs , Erik Meijer, Structuring graphical paradigms in TkGofer, ACM SIGPLAN Notices, v.32 n.8, p.251-262, Aug. 1997
	4	Luis Damas , Robin Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-212, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582176]
	5	Saumya K Debray , David S Warren, Detection and optimization of functional computations in Prolog, Proceedings on Third international conference on logic programming, p.490-504, September 1986, London, United Kingdom
	6	Bart Demoen , María García de la Banda , Warwick Harvey , Kim Marriott , Peter J. Stuckey, Herbrand constraint solving in HAL, Proceedings of the 1999 international conference on Logic programming, p.260-274, November 1999, Las Cruces, New Mexico, United States
	7	You-Chin Fuh , Prateek Mishra, Type inference with subtypes, Theoretical Computer Science, v.73 n.2, p.155-175, June 22, 1990
	8	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
	9	M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583{628, 1994.
	10	Michael Hanus, A unified computation model for functional and logic programming, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.80-93, January 15-17, 1997, Paris, France [doi>10.1145/263699.263710]
	11	Michael Hanus, Distributed Programming in a Multi-Paradigm Declarative Language, Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming, p.188-205, September 29-October 01, 1999
	12	Michael Hanus, A Functional Logic Programming Approach to Graphical User Interfaces, Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, p.47-62, January 01, 2000
	13	Michael Hanus , Christian Prehofer, Higher-order narrowing with definitional trees, Journal of Functional Programming, v.9 n.1, p.33-75, January 1999 [doi>10.1017/S0956796899003330]
	14	M. Hanus and R. Sadre. An Abstract Machine for Curry and its Concurrent Implementation in Java. Journal of Functional and Logic Programming, 1999(6).
	15	Michael Hanus , Frank Steiner, Controlling search in functional logic programs, Proceedings of the 1998 joint international conference and symposium on Logic programming, p.347-348, August 1998, Manchester, United Kingdom
	16	M. Hanus (ed.). Curry: An integrated functional logic language. Available at http://www.informatik.uni-kiel.de/~curry/, 2000.
	17	M. Hanus, S. Antoy, J. Koj, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at: http://www.informatik.uni-kiel.de/~pakcs/, 2000.
	18	F. Henderson and T. Somogyi, Z. Conway. Determinism analysis in the Mercury compiler. In Proc. of the Nineteenth Australasian Computer Science Conference, pages 337{346, 1996.
	19	Thomas Johnsson, Lambda lifting: transforming programs to recursive equations, Proc. of a conference on Functional programming languages and computer architecture, p.190-203, January 1985, Nancy, France
	20	Feixiong Liu, Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages, Proceedings of the conference on Functional programming languages and computer architecture, p.201-209, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165209]
	21	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
	22	J. M. Lucassen , D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.47-57, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73564]
	23	Flemming Nielson , Hanne R. Nielson , Chris Hankin, Principles of Program Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 1999
	24	H. R. Nielson and F. Nielson. Communication analysis for Concurrent ML. In ML with Concurrency, Monographs in Computer Science, pages 185{235. Springer-Verlag, 1997.
	25	Ulf Nilsson, Towards a Framework for the Abstract Interpretation of Logic Programs, Proceedings of the 1st International Workshop on Programming Language Implementation and Logic Programming, p.68-82, May 16-18, 1988
	26	François Pessaux , Xavier Leroy, Type-based analysis of uncaught exceptions, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.276-290, January 20-22, 1999, San Antonio, Texas, United States [doi>10.1145/292540.292565]
	27	J. Peterson et al. Haskell: A Non-strict, Purely Functional Language (Version 1.4). Technical Report, Yale University, 1997.
	28	Christian Schulte , Gert Smolka, Encapsulated search for higher-order concurrent constraint programming, Proceedings of the 1994 International Symposium on Logic programming, p.505-520, November 1994, Symposia, Melbourne
	29	P. Van Roy , B. Demoen , Y. D. Willems, Improving the execution speed of compiled prolog with modes, clause selection, and determinism, II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development, p.111-125, March 1987, Pisa, Italy
	30	Philip Wadler, How to declare an imperative, ACM Computing Surveys (CSUR), v.29 n.3, p.240-263, Sept. 1997 [doi>10.1145/262009.262011]
	31	D.H.D. Warren. Higher-order extensions to PROLOG: are they needed? In Machine Intelligence 10, pp. 441{454, 1982.
	32	Eyal Yardeni , Ehud Shapiro, A type system for logic program, Journal of Logic Programming, v.10 n.2, p.125-153, Feb. 1991 [doi>10.1016/0743-1066(91)80002-U]

CITED BY

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

Collaborative Colleagues:

Michael Hanus: colleagues

Frank Steiner: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player