Volume 75, Numbers 1-2, January 2010
- Adrian Johnstone, Anthony Sloane, John Tang Boyland:
Preface.
1-2
- Diego Ordóñez Camacho, Kim Mens, Mark van den Brand, Jurgen J. Vinju:
Automated generation of program translation and verification tools using annotated grammars.
3-20
- Johan Åkesson, Torbjörn Ekman, Görel Hedin:
Implementation of a Modelica compiler using JastAdd attribute grammars.
21-38
- Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan:
Silver: An extensible attribute grammar system.
39-54
- Elizabeth Scott, Adrian Johnstone:
Recognition is not parsing - SPPF-style parsing from cubic recognisers.
55-70
- Sylvain Schmitz:
An experimental ambiguity detection tool.
71-84
Volume 75, Number 3, March 2010
Volume 75, Number 4, April 2010
- Willem-Paul de Roever:
Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009).
211-213
- Mark G. J. van den Brand, Kim Mens:
Guest editors' introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008).
214-215
- Diomidis Spinellis:
CScout: A refactoring browser for C.
216-231
- Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt:
Enforcing structural regularities in software using IntensiVE.
232-246
- Holger M. Kienle, Hausi A. Müller:
Rigi - An environment for software reverse engineering, exploration, visualization, and redocumentation.
247-263
- Mircea Lungu, Michele Lanza, Tudor Gîrba, Romain Robbes:
The Small Project Observatory: Visualizing software ecosystems.
264-275
- Marco D'Ambros, Michele Lanza:
Distributed and Collaborative Software Evolution Analysis with Churrasco.
276-287
Volume 75, Number 5, May 2010
Volume 75, Number 6, June 2010
- Doug Lea, Gianluigi Zavattaro:
Guest editors' foreword.
375
- Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese:
From Flow Logic to static type systems for coordination languages.
376-397
- Sascha Klüppelholz, Christel Baier:
Alternating-time stream logic for multi-agent systems.
398-425
- Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen:
Providing data confidentiality against malicious hosts in Shared Data Spaces.
426-439
- Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
A process calculus for Mobile Ad Hoc Networks.
440-469
Volume 75, Number 7, July 2010
- Julia L. Lawall:
Preface to special issue on Generative Programming and Component Engineering (GPCE 2007).
471-472
- Martin Bravenboer, Eelco Dolstra, Eelco Visser:
Preventing injection attacks with syntax embeddings.
473-495
- Ryan Culpepper, Matthias Felleisen:
Debugging hygienic macros.
496-515
- Pascal Fradet, Stéphane Hong Tuan Ha:
Aspects of availability: Enforcing timed properties to prevent denial of service.
516-542
- Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander:
Constructing language processors with algebra combinators.
543-572
- Joseph Gil, Keren Lenz:
Simple and safe SQL queries with C++ templates.
573-595
- Jaakko Järvi, Mat Marcus, Jacob N. Smith:
Programming with C++ concepts.
596-614
- Georg Jung, John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.
615-637
- Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup:
Design and evaluation of C++ open multi-methods.
638-667
Volume 75, Number 8, August 2010
- Lawrence Chung, José Luis Garrido, Nary Subramanian, Manuel Noguera, Kawtar Benghazi Akhlaki:
Designing high quality system/software architectures.
669-671
- Chung-Horng Lung, Pragash Rajeswaran, Sathyanarayanan Sivadas, Theleepan Sivabalasingam:
Experience of building an architecture-based generator using GenVoca for distributed systems.
672-688
- Jeannette Bennett, Kendra Cooper, Lirong Dai:
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach.
689-725
- Manuel Noguera, María Visitación Hurtado, María Luisa Rodríguez, Lawrence Chung, José Luis Garrido:
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN.
726-760
Volume 75, Number 9, September 2010
- Davide Ancona, Alex Buckley:
Preface to the Special Issue on Object-Oriented Programming Languages and Systems (OOPS 2008), A Special Track at the 23rd ACM Symposium on Applied Computing.
761
- Jaakko Järvi, John Freeman:
C++ lambda expressions and closures.
762-772
- Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup:
Dynamic algorithm selection for runtime concepts.
773-786
- J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.:
Integrating coercion with subtyping and multiple dispatch.
787-795
- Francesco Logozzo, Manuel Fähndrich:
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses.
796-807
Volume 75, Number 10, October 2010
- Carlos Canal, Corina S. Pasareanu:
Preface.
809-810
- Hamideh Sabouri, Marjan Sirjani:
Actor-based slicing techniques for efficient reduction of Rebeca models.
811-827
- Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing for architectural analysis.
828-847
- Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Event based choreography.
848-878
- Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components.
879-897
- Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot:
Component simulation-based substitutivity managing QoS and composition issues.
898-917
Volume 75, Number 11, November 2010
Special section on the Programming Languages Track at the 23rd ACM Symposium on Applied Computing
Regular Articles
- Ying Jin, David Lorge Parnas:
Defining the meaning of tabular mathematical expressions.
980-1000
- Juan Manuel Rodriguez, Marco Crasso, Alejandro Zunino, Marcelo Campo:
Improving Web Service descriptions for effective service discovery.
1001-1021
- Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner:
An algebraic foundation for automatic feature-based program synthesis.
1022-1047
- Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen:
Type-directed weaving of aspects for polymorphically typed functional languages.
1048-1076
- Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Compact and efficient strings for Java.
1077-1094
- Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan:
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms.
1095-1112
- José María Conejero, Juan Hernández, Elena Jurado, Klaas van den Berg:
Mining early aspects based on syntactical and dependency analyses.
1113-1141
- Ward Douglas Maurer:
Simple section interchange and properties of non-computable functions.
1142-1164
- Alastair F. Donaldson, Simon J. Gay:
Type inference and strong static type checking for Promela.
1165-1191
Volume 75, Number 12, December 2010
Last update Thu May 23 19:26:04 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
