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.