PEPM
2000
ACM
13 years 11 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
PEPM
2000
ACM
13 years 11 months ago
2000
ACM
PEPM
2000
ACM
13 years 11 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
PEPM
2000
ACM
13 years 11 months ago
2000
ACM
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
IWSSD
2000
IEEE
13 years 11 months ago
2000
IEEE
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...