The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Supercompilation: Techniques and Results
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Constraint-Based Verification of Parameterized Cache Coherence Protocols
Formal Methods in System Design
Distilling Programs for Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
A java supercompiler and its application to verification of cache-coherence protocols
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Solving coverability problem for monotonic counter systems by supercompilation
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
| Hi-index | 0.00 |
Supercompilation, or Supervised Compilation is a technique for program specialization, optimization and, more generally, program transformation. We present an idea to use supercompilation for verification of parameterized programs and protocols, present a case study and report on our initial experiments.