SICSOFT (Paper Session)

Abstract

“How to produce efficient and error-free software?” is the theme of this session. There will be three papers presented, each describes the result of a current research effort. In the first paper, a testing and debugging methodology which exploits certain properties of a very high level language is presented. The second paper describes a system for verifying correctness of programs. In the third paper, it is shown that the performance of a program can be improved through program manipulation.