[4] Finding Resource
Bounds in the Presence of Explicit Deallocation. Hoang Truong,
Marc Bezem.
Dang V. Hung and Martin Wirsing, editors. ICTAC'05,
Hanoi, Vietnam, October 17-21, 2005.
LNCS 3722,
Springer, 2005.
ISBN: 3-540-29107-5. pp. 127-241. [@Springer]
.ps
.pdf
|
|
[3] Guaranteeing Resource
Bounds for Component Software. Hoang Truong.
Martin Steffen, Gianluigi Zavattaro, editors. FMOODS'05,
Athens, Greece, June 15-17, 2005.
LNCS 3535,
Springer, 2005.
ISBN: 3-540-26181-8. pp. 179-194. [@Springer]
.ps
.pdf
|
|
[2] Counting Instances
of Software Components. Marc
Bezem, Hoang Truong.
Didier Galmiche, Peter O'Hearn, David Pym, editors, LRPP'04, Turku,
Finland, July 13, 2004.
.ps
.pdf
|
|
[1] A Typing System for the Safe Instantiation
of Components. Marc
Bezem, Hoang Truong.
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel, editors, FOCLASA'03,
Marseille, France, September 2, 2003.
ENTCS,
Vol. 97. July 22, 2004. pp.
197-217. [©Elsevier]
.ps .pdf |
|
|
- Conference of
the Types Project (TYPES 2006), April 18-21, 2006 - Nottingham, UK.
- Theoretical
Aspects of
Computing (ICTAC'05), October 17-21, 2005
-
Hanoi, Vietnam.
- International
Summer School On Applied Semantics 2005, September 8-12, 2005
-
Frauenchiemsee,
Germany.
- Formal
Methods
for Open Object-Based Distributed Systems (FMOODS'05), June 15-17,
2005, Athens, Greece.
- ICT-2010
Seminar, 20-21 September, 2004,
Lillestrøm, Norway.
- Workshop
on
Logics for Resources, Processes, and Programs (LRPP'04), July 13,
2004,
Turku, Finland.
- 18th
European Conference on Object-Oriented Programming (ECOOP'04),
June 14–18, 2004,
Oslo, Norway.
- 2nd
International Symposium on Formal Methods for Components and Objects
(FMCO'03), November 4-7,
2003, Leiden, The Netherlands.
- 2nd
International Workshop on Foundations of Coordination Languages
and Software Architectures (FOCLASA'03), September 2,
2003, Marseille, France.
- EEF
Global Computing Summer School,
7-11 July, 2003,
Edinburgh, Scotland.
|