1023 search results - page 135 / 205 » A Formal Method for Program Slicing |
168
click to vote
IFM
2009
Springer
16 years 18 days ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
163
click to vote
TOOLS
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
126
click to vote
FMCO
2007
Springer
16 years 7 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
148
click to vote
SAS
2007
Springer
16 years 5 days ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
140
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...