Manuel Hermenegildo, Jaan Penjam (a cura di)
Lecture Notes in Computer Science 844
Springer
settembre 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.
parole chiave
Sleep, compiler, concurrency, constraint, constraint programming, logic, logic programming, logisches Programmieren, optimization, parallelism, program transformation, programming, programming language, proving, semantics
evento origine
rivista o collana
Lecture Notes in Computer Science
(LNCS)
