1320 search results - page 63 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
138
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
100
click to vote
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
117
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
150
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
126
click to vote
AUTOMATICA
1999
15 years 2 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...