3481 search results - page 479 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
135
click to vote
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
136
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
130
click to vote
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
Incremental checkpointing is an cost-efficient fault tolerant technique for long running programs such as genetic algorithms. In this paper, we derive the equations for the writing...
112
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
129
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...