2010
DOI: 10.1007/978-3-642-11486-1_16
View full text
|
|
Share

Abstract: Abstract. 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. The results of successful application of the Java Supercompiler for verification of a number of parameterized models of cache-coherence protocols are reported. Protocols are modeled in Java following the known method by G. Delzanno and experiments by A. Lisitsa and A. Nemytykh on verification of p…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
6
0
1

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals