


Остановите войну!
for scientists:


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.