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.

Saved in:
Bibliographic Details
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