Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Zanardini, Damiano - Facultad de Informática, Universidad Politécnica de Madrid
Resource Usage Analysis and its Application to Resource Certification
Cost Analysis of Java Bytecode , P. Arenas1
August 1, 2007 9:55 WSPC -Proceedings Trim Size: 9in x 6in zanardini ANALYZING NON-INTERFERENCE WITH RESPECT TO CLASSES
Termination Analysis of Java Bytecode Elvira Albert1
Removing Useless Variables in Cost Analysis of Java Bytecode
Abstract Non-Interference in a fragment of Java Bytecode Damiano Zanardini
Higher-Order Abstract Non-Interference Damiano Zanardini
ByteCode 2008 A Cost and Termination Analyzer
Damiano Zanardini curriculum vit
The Acyclicity Inference of COSTA Samir Genaim
The Semantics of Abstract Program Slicing Damiano Zanardini
The Semantics of Abstract Program Slicing Damiano Zanardini
Cost Analysis of Object-Oriented Bytecode Programs1 ELVIRA ALBERT, PURI ARENAS and SAMIR GENAIM
Task-Level Analysis for a Language with async/finish Parallelism
Class-level Non-Interference 1 Class-level Non-Interference
Class-level Non-Interference 1 Class-level Non-Interference
