1023 search results - page 156 / 205 » A Formal Method for Program Slicing |
116
click to vote
IFL
2007
Springer
15 years 7 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
87
Voted
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
97
Voted
FM
2009
Springer
15 years 6 months ago
2009
Springer
The problem of enforcing bounded-time 2-phase recovery in real-time programs is often necessitated by conflict between faulttolerance requirements and timing constraints. In this ...
122
click to vote
AGENTCL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...