Manuel Hermenegildo, Jaan Penjam (eds.)
Lecture Notes in Computer Science 844
Springer
September 1994
This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation.
keywords
Sleep, compiler, concurrency, constraint, constraint programming, logic, logic programming, logisches Programmieren, optimization, parallelism, program transformation, programming, programming language, proving, semantics
origin event
journal or series
Lecture Notes in Computer Science
(LNCS)
