Functional and logic programming 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7 - 9, 2001 ; proceedings

Functional and logic programming 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7 - 9, 2001 ; proceedings

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] 2001
Schriftenreihe:	Lecture notes in computer science 2024
Schlagworte:	Programmation fonctionnelle (informatique) - Congrès Programmation fonctionnelle - Congrès Programmation logique - Congrès Programmeren (computers) lambda calcul programmation en logique programmation fonctionnelle transformation programme Functional programming (Computer science) > Congresses Logic programming > Congresses Logische Programmierung Funktionale Programmierung Konferenzschrift > 2001 > Tokio
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Functional and logic programming 7th international symposium, FLOPS 2004, Nara, Japan, April 7 - 9, 2004 ; proceedings
Veröffentlicht: (2004)

An introduction to functional programming through Lambda calculus
von: Michaelson, Greg
Veröffentlicht: (1989)

Elements of functional programming
von: Reade, Chris
Veröffentlicht: (1989)

Advanced functional programming third international school, AFP'98, Braga, Portugal, September 12 - 19, 1998 ; revised lectures
Veröffentlicht: (1999)

Extensions of logic programming third international workshop ; ELP '92, Bologna, Italy, February 26-28, 1992 ; proceedings
Veröffentlicht: (1993)

Logic programming proceedings of the 1998 Joint International Conference and Symposium on Logic Programming
Veröffentlicht: (1998)

Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings
Veröffentlicht: (1992)

Logic programming proceedings of the sixth international conference
Veröffentlicht: (1989)

Implementation of functional languages 13th international workshop, IFL 2001, Stockholm, Sweden, September 24 - 26, 2001 ; selected papers
Veröffentlicht: (2002)

Lazy functional languages abstract interpretation and compilation
von: Burn, Geoffrey
Veröffentlicht: (1991)

Inductive logic programming techniques and applications
von: Lavrač, Nada, et al.
Veröffentlicht: (1994)

Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17 - 20, 1997 ; proceedings
Veröffentlicht: (1997)

Logic programming proceedings of the eleventh International Conference on Logic Programming
Veröffentlicht: (1994)

Inductive logic programming 6th international workshop, ILP-96, Stockholm, Sweden, August 26 - 28, 1996 ; selected papers
Veröffentlicht: (1997)

Logic programming and its applications
Veröffentlicht: (1986)

Logic programming formal methods and practical applications
Veröffentlicht: (1995)

Constraints in computational logics theory and applications ; international summer school, CCL '99, Gif-sur-Yvette, France, September 5 - 8, 1999 ; revised lectures
Veröffentlicht: (2001)

Functional programming languages, tools and architectures
Veröffentlicht: (1987)

Logic programming operational semantics and proof theory
von: Andrews, James H.
Veröffentlicht: (1992)

Functional programming, Glasgow 1991 proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12 - 14 August 1991
Veröffentlicht: (1992)

Foundations of disjunctive logic programming
von: Lobo, Jorge, et al.
Veröffentlicht: (1992)

Logic and objects
von: McCabe, Frank G.
Veröffentlicht: (1992)

Logic program synthesis and transformation proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
Veröffentlicht: (1993)

Programming languages concepts and constructs
von: Sethi, Ravi
Veröffentlicht: (1989)

Computing with logic logic programming with Prolog
von: Maier, David 1953-, et al.
Veröffentlicht: (1988)

Executable modal and temporal logics IJCAI '93 Workshop, Chambery, France, August 28, 1993 ; proceedings
Veröffentlicht: (1995)

Semantics, applications, and implementation of program generation international workshop, SAIG 2000, Montreal, Canada, September 20, 2000 ; proceedings
Veröffentlicht: (2000)

Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings
Veröffentlicht: (1996)

Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings
Veröffentlicht: (1993)

Logic programming new frontiers
Veröffentlicht: (1992)

DLP a language for distributed logic programming ; design, semantics and implementation
von: Eliëns, Anton
Veröffentlicht: (1992)

Logic programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 ; proceedings
Veröffentlicht: (2004)

Logique, réduction, résolution
von: Lalement, René
Veröffentlicht: (1990)

Automata, languages and programming 11th colloquium, Antwerp, Belgium, July 16 - 20, 1984
Veröffentlicht: (1984)

Lazy functional languages abstract interpretation and compilation
von: Burn, Geoffrey
Veröffentlicht: (1991)

Logique temporelle sémantique et validation de programmes parallèles
von: Audureau, Eric, et al.
Veröffentlicht: (1990)

Logic programming and automated reasoning International Conference LPAR '92, St. Petersburg, Russia, July 15 - 20, 1992 ; proceedings
Veröffentlicht: (1992)

Partial evaluation and automatic program generation
von: Jones, Neil D. 1941-, et al.
Veröffentlicht: (1993)

The implementation of functional programming languages
Veröffentlicht: (1987)

Writing efficient programs
von: Bentley, Jon Louis
Veröffentlicht: (1982)