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