Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Manuel Hermenegildo, S.Doaitse Swierstra

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995

著者名:

• Hermenegildo, Manuel.
• Swierstra, S.Doaitse.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 982

ISBN:

9783540450481 [3540450483]    

注記:

A generic program for sequential decision processes -- Parsing visual languages with constraint multiset grammars -- Programming with constructor classes -- Towards a taxonomy of functional language implementations -- A ?-calculus à la de Bruijn with explicit substitutions -- A verified implementation of narrowing -- A new calculus for semantic matching -- A complete narrowing calculus for higher-order functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation of jump tables for fast indexing of logic programs -- An abstract machine for Oz -- Uniform PERs and comportment analysis -- Uniqueness type inference -- Modes of comprehension: Mode analysis of arrays and array comprehensions -- Better consumers for deforestation -- Efficient compile-time garbage collection for arbitrary data structures -- Efficient multi-level generating extensions for program specialization -- Mechanically verifying the correctness of an offline partial evaluator -- A semantic model of b
This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.

ローカル注記:

学内専用E-BOOKS (local access only)