1776 search results - page 223 / 356 » Using a Logic Programming Language with Persistence and Cont... |
110
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
108
click to vote
ESOP
2010
Springer
16 years 18 days ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...
148
click to vote
ESOP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
118
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
118
click to vote
ERLANG
2008
ACM
15 years 5 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...