𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Translating a Linear Logic Programming Language into Java

✍ Scribed by Mutsunori Banbara; Naoyuki Tamura

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
210 KB
Volume
30
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

LUPSβ€”A language for updating logic progr
LUPSβ€”A language for updating logic programs
✍ JosΓ© JΓΊlio Alferes; Luı́s Moniz Pereira; Halina Przymusinska; Teodor C. Przymusi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 229 KB

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the decl

Linear programs in a simple reversible l
Linear programs in a simple reversible language
✍ Armando B. Matos πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 141 KB

Very simple reversible programming languages can be useful for the study of reversible transformations. For this purpose we deΓΏne simple reversible language (SRL), a very simple reversible language, and analyse its properties. The language SRL is similar to the "loop" languages that have been used b