Journal: Computer Languages, Systems \& Structures

Volume 40, Issue 3-4

99 -- 111Yoonseok Ko, Kihong Heo, Hakjoo Oh. A sparse evaluation technique for detailed semantic analyses
112 -- 136Tom 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
137 -- 154Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov. Bounded memory protocols
155 -- 170Florian Brandner, Alexander Jordan. Refinement of worst-case execution time bounds by graph pruning

Volume 40, Issue 2

37 -- 52Igor Rafael de Assis Costa, Henrique Nazare Santos, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira. Just-in-time value specialization
53 -- 72Hidayet Burak Saritas, Geylani Kardas. A model driven architecture for the development of smart card software
73 -- 97Giuseppe Della Penna. Model checking XSL transformations

Volume 40, Issue 1

1 -- 0Marjan Mernik, Barrett R. Bryant. Special issue on the Programming Languages track at the 28th ACM Symposium on Applied Computing
2 -- 18Walter Cazzola, Edoardo Vacchi. @Java: Bringing a richer annotation model to Java
19 -- 35Patrick Maier, Robert J. Stewart, Philip W. Trinder. Reliable scalable symbolic computation: The design of SymGridPar2