✦ LIBER ✦

Compiler Design || Logic Programming Languages

✍ Scribed by Wilhelm, Reinhard; Seidl, Helmut

Book ID: 120468880
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 579 KB
Category: Article
ISBN: 364214909X
DOI: 10.1007/978-3-642-14909-2_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compiler Design || Object-Oriented Progr

Compiler Design || Object-Oriented Programming Languages

✍ Wilhelm, Reinhard; Seidl, Helmut 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 348 KB

Compile-time granularity analysis for pa

Compile-time granularity analysis for parallel logic programming languages

✍ E. Tick 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 681 KB

The design of experiments using compiler

The design of experiments using compiler language computer programs

✍ J.V. Kane 📂 Article 📅 1964 🏛 Elsevier Science ⚖ 339 KB

Compiling associativity into logic progr

Compiling associativity into logic programs

✍ D.R. Brough; C.J. Hogger 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 1013 KB

We show how a simple but important class of recursive logic programs can be mechanically transformed to take advantage of the associativity of auxiliary relations. This often results in improved efficiency through the introduction of tail recursion. We give proofs of correctness both for the transfo

Continuation compilation for concurrent

Continuation compilation for concurrent logic programming

✍ B Kemp; P Soper; A King 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 913 KB

Interface compilation: steps toward comp

Interface compilation: steps toward compiling program interfaces as languages

✍ Engler, D.R. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 279 KB