1023 search results - page 83 / 205 » A Formal Method for Program Slicing |
IFM
2009
Springer
14 years 4 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
SAS
2004
Springer
14 years 3 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
TLDI
2003
ACM
14 years 3 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
IFL
2000
Springer
14 years 1 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
TYPES
2000
Springer
14 years 1 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...