Next: About this document
... Up: final
Previous: Related activities during
the
-
- 1
- S. Abramsky, R. Jagadeesan and P. Malacaria, Full abstraction for
PCF (extended abstract). In Proc. TACS'94, LNCS 789, pp 1-15, Springer-Verlag,
1994.
- 2
- S. Abramsky and G. McCusker, Linearity, sharing and state: a fully
abstract game semantics for Idealised Algol with active expressions. In Algol-like
Languages, Volume 2, P.W. O'Hearn and R. D. Tennent (editors), Birkhaüser,
1997.
- 3
- D. Clark,S. Hunt and P. Malacaria, Automatic Quantitative Security
Analysis. Submitted to Process Algebra and Performance Modelling, Probabilistic
Methods in Verification 2001
- 4
- C. L. Hankin and P. Malacaria. Program Analysis Games.
Electronic Symposium on the Theory of Computation.
ACM Computing Surveys, 31(3), 1999.
- 5
- P. Malacaria
Dalla geometria dell'interazione alle macchine ad ambienti manuscript 1992.
- 6
- P. Malacaria
A game based tool for the flow analysis for higher-order concurrent object-oriented
languages.
Submitted for publication, 2000.
- 7
- P. Malacaria
A control flow analysis tool based on games:
http://www.dcs.qmw.ac.uk/ pm/cfa.html
- 8
- P. Malacaria and C. L. Hankin.
Non-deterministic games and program analysis: An application to security.
In LICS '99: Proc. the Fourteenth Annual IEEE Symposium on on Logic in
Computer Science, Trento, Italy, July 1999.
IEEE Computer Society Press, 1999.
- 9
- P. Malacaria and C. L. Hankin.
Generalised Flowcharts and Games.
In ICALP '98: Proc. the Twenty fifth International Colloquium on Automata,
Languages and Programming, Aalborg, Denmark, July 1998.
volume 1443 of Lecture Notes in Computer Science, Springer, 1998.
- 10
- P. Malacaria and C. L. Hankin.
A new approach to control flow analysis.
In CC '98:Proc. the Seventh International Conference on Compiler Construction,
Lisbon, Portugal, March 1998.
volume 1383 of Lecture Notes in Computer Science, Springer, 1998.
Pasquale Malacaria
2001-04-24