6274 search results - page 87 / 1255 » Proofs, Programs, Processes |
152
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
165
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
118
click to vote
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
149
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
107
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...