Progamming Language Implementation and Logic Programming [electronic resource] : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings /
This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The series of PLILP symposiums was established to promote contacts and information exchange among scientists who share common interests in declarative programming techniques, logic programming, and programming languages imnplementation. Researchers from the fields of algorithmic programming languages as well as logic, functional, object-oriented, and constraint programming constitute the audience of PLILP. The volume contains three invited talks and 24 selected contributed papers grouped intoparts on: integration of different paradigms, constraint programming, staticanalysis and abstract interpretation, grammars, narrowing, parallelism, and implementation techniques. The volume closes with six abstracts of systems demonstrations and posters.
Main Authors: | Bruynooghe, Maurice. editor., Penjam, Jaan. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1993
|
Subjects: | Computer science., Software engineering., Computer programming., Programming languages (Electronic computers)., Computer logic., Mathematical logic., Artificial intelligence., Computer Science., Software Engineering/Programming and Operating Systems., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Programming Techniques., Artificial Intelligence (incl. Robotics)., |
Online Access: | http://dx.doi.org/10.1007/3-540-57186-8 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Progamming Language Implementation and Logic Programming [electronic resource] : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings /
by: Bruynooghe, Maurice. editor., et al.
Published: (1993) -
Compiler Construction [electronic resource] : 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings /
by: Koskimies, Kai. editor., et al.
Published: (1998) -
Compiler Construction [electronic resource] : 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings /
by: Koskimies, Kai. editor., et al.
Published: (1998) -
Compiler Construction [electronic resource] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /
by: Horspool, R. Nigel. editor., et al.
Published: (2002) -
Compiler Construction [electronic resource] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /
by: Horspool, R. Nigel. editor., et al.
Published: (2002)