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
Practical Aspects of Specialization of Algol-like Programs
Selected Papers from the Internaltional Seminar on Partial Evaluation
Supercompilation: Techniques and Results
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Automatic program specialization for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint-Based Verification of Parameterized Cache Coherence Protocols
Formal Methods in System Design
A tour of tempo: a program specializer for the C language
Science of Computer Programming - Special issue on program transformation
FAST: acceleration from theory to practice
International Journal on Software Tools for Technology Transfer (STTT)
Towards verification via supercompilation
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
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
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 |
The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented notions absent in functional languages. It has been successfully applied to verification of a number of parameterized models including cache-coherence protocols. Protocols are modeled in Java following the method by G. Delzanno and experiments by A. Lisitsa and A. Nemytykh on verification of protocol models by means of the Refal Supercompiler SCP4. The part of the supercompilation method relevant to the protocol verification is reviewed. It deals with an imperative subset of Java.