loading...
Towards Verification via Supercompilation
Edinburgh, Scotland July 26-July 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.15929th Annual International Computer So ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Alexei Lisitsa, Andrei Nemytykh, "Towards Verification via Supercompilation," Computer Software and Applications Conference, Annual International, vol. 2, pp. 9-10, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2, 2005.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2005.159,
author = {Alexei Lisitsa and Andrei Nemytykh},
title = {Towards Verification via Supercompilation},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2005},
issn = {0730-3157},
pages = {9-10},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.159},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Towards Verification via Supercompilation
SN - 0730-3157
SP9
EP10
A1 - Alexei Lisitsa,
A1 - Andrei Nemytykh,
PY - 2005
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Alexei Lisitsa, University of Liverpool
Andrei Nemytykh, Program Systems Institute
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.
Citation:
Alexei Lisitsa, Andrei Nemytykh, "Towards Verification via Supercompilation," compsac, vol. 2, pp.9-10, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2, 2005
Usage of this product signifies your acceptance of the Terms of Use.