2236 search results - page 261 / 448 » Language Independence and Language Tolerance in Logic Progra... |
141
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
169
click to vote
ADAEUROPE
2010
Springer
15 years 9 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
127
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
152
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
164
click to vote
IGPL
2011
14 years 8 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...