Computer Languages
, Volume 28
Volume 28, Number 1, April 2002
Computer Languages and Security
Agostino Cortesi
,
Riccardo Focardi
: Computer languages and security. 1-2
David Clark
,
Chris Hankin
,
Sebastian Hunt
: Information flow for Algol-like languages. 3-28
Torben Amtoft
,
A. J. Kfoury
,
Santiago M. Pericás-Geertsen
: Orderly communication in the Ambient Calculus. 29-60
Michele Bugliesi
,
Giuseppe Castagna
: Behavioural typing for safe ambients. 61-99
Chiara Braghin
,
Agostino Cortesi
,
Riccardo Focardi
: Security boundaries in mobile ambients. 101-127
Dilsun Kirli Kaynar
: Distributed call-tracking for security. 129-154
Volume 28, Number 2, December 2002
Cristina D. Ururahy
,
Noemi de La Rocque Rodriguez
,
Roberto Ierusalimschy
: ALua: flexibility for parallel programming. 155-180
Enrico Pontelli
,
Desh Ranjan
,
Alessandro Dal Palù
: An optimal data structure to handle dynamic environments in non-deterministic computations. 181-201
Jien-Tsai Chan
,
Wuu Yang
: An attribute-grammar framework for specifying the accessibility in Java programs. 203-235
Volume 28, Number 3, October 2002
Woo Hyong Lee
,
Ji-en Morris Chang
: A study of dynamic memory management in C++ programs. 237-272
Wuu Yang
,
Chey-Woei Tsay
,
Jien-Tsai Chan
: On the applicability of the longest-match rule in lexical analysis. 273-288
John C. Lusth
: Unified selection from lists, arrays, and objects. 289-305
Copyright ©
Sun Nov 15 05:29:17 2009 by
Michael Ley
(
ley@uni-trier.de
)