QAPL'01 Schedule
Workshop on Quantitative Aspects of Programming Laguages
Satellite to Principles, Logics, and Implementations
of high-level programming languages, PLI'01
sponsored by ACM
Sigplan.
September 3 - 7, 2001 -- Firenze, Italy
Friday 7th September 2001
Session 1: 9:00 - 10:00
-
9:00 - 9:30 Keye Martin: Powerdomains and Zero Finding
-
9:30 - 10:00 Marius C. Bujorianu and Manuela L. Bujorianu: On the Hilbert
Machine Quantitative Computational Model
9:00 - 10:00 Coffee
Invited Talk: 10:30 - 11:30
-
10:30 - 11:30 David Sands: Asymptotic Reasoning Meets Programming Language
Semantics
Session 2: 11:30 - 12:30
-
11:30 - 12:00 Thom Fruhwirth: As Time Goes By: Complexity Analysis of Simplification
Rule
-
12:00 - 12:30 Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky: On
Language Expressiveness and Dimension
12:30- 14:30 Lunch
Session 3: 14:30 - 15:30
-
14:30 - 15:00 F.S. de Boer, M. Gabbrielli and M.C. Meo: Proving Correctness
of Timed Concurrent Constraint Programs
-
15:00 - 15:30 David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative
Analysis of the Leakage of Confidential Data
15:30 - 16:00 Coffee
Session 4: 16:00 - 17:00
-
16:00 - 16:30 Nicos Angelopoulos and David R. Gilbert: A Statistical View
of Probabilistic Finite Domains
-
16:30 - 17:00 Richard Kieburtz: Real-time Reactive Programming for Embedded
Controllers