8132 search results - page 293 / 1627 » Dependability, Abstraction, and Programming |
158
click to vote
LPNMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
174
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...
182
click to vote
ECOOPW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
186
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
159
Voted
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...