619 search results - page 58 / 124 » The Design and Implementation of a Certifying Compiler |
150
click to vote
FPL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
135
click to vote
PLILP
1994
Springer
15 years 10 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...
133
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...
124
click to vote
CUZA
2004
15 years 6 months ago
2004
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
137
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...