Sciweavers

2236 search results - page 18 / 448
» Language Independence and Language Tolerance in Logic Progra...
Sort
View
INAP
2005
Springer
15 years 10 months ago
Using a Logic Programming Language with Persistence and Contexts
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
Salvador Abreu, Vítor Nogueira
102
Voted
GPCE
2004
Springer
15 years 10 months ago
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components
Julia L. Lawall, Anne-Françoise Le Meur, Gi...
DLOG
1996
15 years 6 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner
IPPS
2000
IEEE
15 years 9 months ago
Declarative Concurrency in Java
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
Rafael Ramirez, Andrew E. Santosa
146
Voted
ICLP
1998
Springer
15 years 9 months ago
Efficient Implementation of a Linear Logic Programming Language
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Ky...