![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Publisher: Elsevier
Founded in: 1975
Total resources: 2
ISSN: 0096-0551
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Computer Languages
Menu
![](/images/ico/ico5.png)
An optimal data structure to handle dynamic environments in non-deterministic computations
By Pontelli E., Ranjan D., Dal Palu A. in (2002)
Computer Languages , Vol. 28, Iss. 2, 2002-12 , pp.![](/images/ico/ico5.png)
An attribute-grammar framework for specifying the accessibility in Java programs
By Chan J.-T., Yang W. in (2002)
Computer Languages , Vol. 28, Iss. 2, 2002-12 , pp.![](/images/ico/ico5.png)
ALua: flexibility for parallel programming
By Ururahy C., Rodriguez N., Ierusalimschy R. in (2002)
Computer Languages , Vol. 28, Iss. 2, 2002-12 , pp.![](/images/ico/ico5.png)
Security boundaries in mobile ambients
By Braghin C., Cortesi A., Focardi R. in (2002)
Computer Languages , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Computer languages and security
By Cortesi A., Focardi R. in (2002)
Computer Languages , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Orderly communication in the Ambient Calculus
By Amtoft T., Kfoury A.J., Pericas-Geertsen S.M. in (2002)
Computer Languages , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Distributed call-tracking for security
Computer Languages , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Behavioural typing for safe ambients
By Bugliesi M., Castagna G. in (2002)
Computer Languages , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Information flow for Algol-like languages
By Clark D., Hankin C., Hunt S. in (2002)
Computer Languages , Vol. 28, Iss. 1, 2002-04 , pp.