Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Parameterized partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Using partial evaluation to enable verification of concurrent software
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Symbolic Model Checking
Staging Static Analyses Using Abstraction-Based Program Specialization
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
| Hi-index | 0.00 |
Program verification and program transformation are two research areas that have different goals. Program verification aims to increase confidence in software through the use of formal methods and systematic testing. Program transformation rearranges the structure of programs to increase their efficiency or to make them more amenable to some other form of processing. Despite being funded under different NSF awards from the Software Engineering and Languages program on the two different areas above the authors are collaborating to apply results from both awards to develop a set of tools, called Bandera, for transforming Java programs into a form that is amenable to verification using existing model checking tools.