Next:
Background
Quantitative Analysis of Computational Resources
Alessandra di Pierro
Chris Hankin
Herbert Wiklicky
Background
Research Topics
Computational Resources.
Qualitative vs Quantitative Reasoning.
Static Program Analysis.
Related Work
Resource Conscious Semantics.
Performance Analysis.
Language-Based Security.
Abstract Interpretation.
Distributed Computing/Coordination.
Complexity Theory.
Programme and Methodology
Quantitative Semantics.
Probabilistic Abstract Interpretation.
Construction of Analyses.
Theory of Abstract Resources
Security
Economics
Diagramatic Workplan
Bibliography
About this document ...
Igor Siveroni 2004-08-12
