5506 search results - page 593 / 1102 » Minimal Logic Programs |
177
click to vote
CD
2005
Springer
16 years 15 days 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...
183
Voted
TLCA
2005
Springer
16 years 13 days 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...
166
click to vote
FSKD
2005
Springer
16 years 12 days 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...
145
click to vote
PASTE
2004
ACM
16 years 11 days 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...
162
click to vote
AMAST
2004
Springer
16 years 10 days 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...