Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings. 1st ed. 1994
- 種類:
- 電子ブック
- 責任表示:
- edited by Manuel Hermenegildo, Jaan Penjam
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 844
- ISBN:
- 9783540486954 [354048695X]
- 注記:
- Concurrent constraint programming -- Specifications using multiple-conclusion logic programs -- Viewing a program transformation system at work -- A portable and efficient implementation of KL1 -- Why Multi-SLD beats SLD (even on a uniprocessor) -- Abstracting synchronization in concurrent constraint programming -- A novel term compression scheme and data representation in the BinWAM -- A simple and efficient copying garbage collector for prolog -- Deriving residual reference count garbage collectors -- RML — A new language and implementation for Natural Semantics -- Towards a provably correct compiler for OBJ3 -- An implementation technique for a class of bottom-up procedures -- Partial deduction and driving are equivalent -- Partial continuations as the difference of continuations a duumvirate of control operators -- Hand-writing program generator generators -- A logic for encapsulation in object oriented languages -- Annotated constraint logic programming applied to temporal reasoning -- Clp(B): Combining
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. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
