Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 75
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
- Christian Rinderknecht, Nic Volanschi:
Theory and practice of unparsed patterns for metacompilation. 85-105 - Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Sound refactorings. 106-133 - Martin P. Ward, Hussein Zedan:
Combining dynamic and static slicing for analysing assembler. 134-175 - Claus Brabrand, Robert Giegerich, Anders Møller:
Analyzing ambiguity of context-free grammars. 176-191 - John Derrick, Heike Wehrheim:
Model transformations across views. 192-210
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
- Alan Wood, Michael Schumacher:
Coordination models, languages and applications. 289-291 - Barbara Weber, Bela Mutschler, Manfred Reichert:
Investigating the effort of using business process management technology: Results from a controlled experiment. 292-310 - Marcílio Mendonça, Donald D. Cowan:
Decision-making coordination and efficient reasoning techniques for feature-based configuration. 311-332 - David P. Pereira, Ana Cristina Vieira de Melo:
Formalization of an architectural model for exception handling coordination based on CA action concepts. 333-349 - Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Conformance notions for the coordination of interaction components. 350-373
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 M. L. 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
- Marjan Mernik, Barrett R. Bryant, Chang-Hyun Jo:
Special issue on the Programming Languages Track at the 23rd ACM Symposium on Applied Computing. 919-920 - Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards:
A novel analysis space for pointer analysis and its application for bug finding. 921-942 - Joel E. Denny, Brian A. Malloy:
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution. 943-979
- 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 Núñez, 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
- Manfred Broy:
Multifunctional software systems: Structured modeling and specification of functional requirements. 1193-1214 - Jan Carlson, Björn Lisper:
A resource-efficient event algebra. 1215-1234 - Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt:
Scoping strategies for distributed aspects. 1235-1261 - Eerke A. Boiten, John Derrick:
Incompleteness of relational simulations in the blocking paradigm. 1262-1269
a service of 
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.
last updated on 2024-04-22 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
