


default search action
Computer Languages, Systems & Structures, Volume 40
Volume 40, Number 1, April 2014
- Marjan Mernik, Barrett R. Bryant:

Special issue on the Programming Languages track at the 28th ACM Symposium on Applied Computing. 1 - Walter Cazzola

, Edoardo Vacchi
:
@Java: Bringing a richer annotation model to Java. 2-18 - Patrick Maier, Robert J. Stewart

, Philip W. Trinder:
Reliable scalable symbolic computation: The design of SymGridPar2. 19-35
Volume 40, Number 2, July 2014
- Igor Rafael de Assis Costa

, Henrique Nazaré Santos, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira:
Just-in-time value specialization. 37-52 - Hidayet Burak Saritas, Geylani Kardas

:
A model driven architecture for the development of smart card software. 53-72 - Giuseppe Della Penna

:
Model checking XSL transformations. 73-97
Volume 40, Numbers 3-4, October - December 2014
- Yoonseok Ko, Kihong Heo, Hakjoo Oh:

A sparse evaluation technique for detailed semantic analyses. 99-111 - Tom Van Cutsem

, Elisa Gonzalez Boix
, Christophe Scholliers
, Andoni Lombide Carreton, Dries Harnie, Kevin Pinte
, Wolfgang De Meuter
:
AmbientTalk: programming responsive mobile peer-to-peer applications with actors. 112-136 - Max I. Kanovich, Tajana Ban Kirigin

, Vivek Nigam
, Andre Scedrov
:
Bounded memory protocols. 137-154 - Florian Brandner

, Alexander Jordan:
Refinement of worst-case execution time bounds by graph pruning. 155-170

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














