설명
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.
책 세부 정보
형식
페이퍼백
페이지
440 페이지
언어
영어
출판됨
Aug 13, 1993
출판사
Springer
ISBN-10
3540571868
ISBN-13
9783540571865