default search action
Science of Computer Programming, Volume 76
Volume 76, Number 1, January 2011
- Carlos Canal
, Pascal Poizat, Mirko Viroli
Preface. 1-2 - Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing three coordination models: Reo, ARC, and PBRD. 3-22 - Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab:
Modeling dynamic reconfigurations in Reo using high-level replacement systems. 23-36 - Alessandro Ricci
simpA: An agent-oriented approach for programming concurrent applications on top of Java. 37-62
Volume 76, Number 2, February 2011
- Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). 63-64 - Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. 65-81 - Bernard van Gastel, Leonard Lensink
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. 82-99 - Bastian Schlich, Jörg Brauer, Stefan Kowalewski:
Application of static analyses for state-space reduction to the microcontroller binary code. 100-118 - Maurice H. ter Beek
A state/event-based model-checking approach for the analysis of abstract system properties. 119-135 - Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim
Flash memory efficient LTL model checking. 136-157
Volume 76, Number 3, March 2011
- Philippe Audebaud, Christine Paulin-Mohring:
Preface. 159 - Roland Carl Backhouse
On Euclid's algorithm and elementary number theory. 160-180 - Jules Desharnais, Georg Struth:
Internal axioms for domain semirings. 181-203 - Ralph Matthes
Map fusion for nested datatypes in intensional type theory. 204-224
Volume 76, Number 4, April 2011
- Jeremy G. Siek
Special issue on library-centric software design (LCSD 2006). 225-226 - Francis P. Russell
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation. 227-242 - Lubomir D. Bourdev, Jaakko Järvi:
Efficient run-time dispatching in generic programming with minimal code bloat. 243-257 - Cosmin E. Oancea, Stephen M. Watt:
An architecture for generic extensions. 258-277 - Gustav Munkby, Sibylle Schupp:
Automating exception-safety classification. 278-289 - Yuriy Solodkyy, Jaakko Järvi:
Extending type systems in a library: Type-safe XML processing in C++. 290-306 - Sylvain Pion, Andreas Fabri:
A generic lazy evaluation scheme for exact geometric computations. 307-323 - René Heinzl, Philipp Schwaha:
A generic topology library. 324-346
Volume 76, Number 5, May 2011
- Robert Glück
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). 347-348 - Jacques Carette
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. 349-375 - Shan Shan Huang, David Zook, Yannis Smaragdakis:
Statically safe program generation with SafeGen. 376-391 - Christof Lutteroth
A type system for reflective program generators. 392-422 - Jeremy G. Siek
A language for generic programming in the large. 423-465
Volume 76, Number 6, June 2011
- G. Ramalingam, Eelco Visser
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007). 467-468 - Jacques Carette
Partial evaluation of Maple. 469-491 - Anders Møller
XML graphs in program analysis. 492-515 - Alcino Cunha
Transformation of structure-shy programs with application to XPath queries and strategic functions. 516-539
Volume 76, Number 7, July 2011
- Jan A. Bergstra:
Editorial. 541 - Wim H. Hesselink
Queue based mutual exclusion with linearly bounded overtaking. 542-554 - Roland Ducournau, Jean Privat:
Metamodeling semantics of multiple inheritance. 555-586 - Chris Male, David J. Pearce, Alex Potanin
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. 587-608 - Natarajan Shankar, K. Subramani
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks. 609-626
Volume 76, Number 8, August 2011
- Axel van Lamsweerde:
The humble humorous researcher: A tribute to Michel Sintzoff. 627-630 - Carlos Canal
Preface. 631-632 - Peter Y. H. Wong, Jeremy Gibbons
Formalisations and applications of BPMN. 633-650 - Sun Meng, Farhad Arbab, Christel Baier:
Synthesis of Reo circuits from scenario-based interaction specifications. 651-680 - Dave Clarke, José Proença
Channel-based coordination via constraint satisfaction. 681-710 - Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic consistency in process algebra: From Paradigm to ACP. 711-735
Volume 76, Number 9, September 2011
- Eerke A. Boiten
Selected papers of the Refinement Workshop Turku (2008). 737-738 - Wim H. Hesselink
Simulation refinement for concurrency verification. 739-755 - Gerhard Schellhorn:
Completeness of fair ASM refinement. 756-773 - Steve Reeves
Contexts, refinement and determinism. 774-791 - Marcel Oliveira
A tactic language for refinement of state-rich concurrent specifications. 792-833
Volume 76, Number 10, October 2011
- Michael Leuschel, Heike Wehrheim:
Selected papers on Integrated Formal Methods (iFM09). 835-836 - Steve A. Schneider
Changing system interfaces consistently: A new refinement strategy for CSP||B. 837-860 - Benjamin Weiß:
Predicate abstraction in a program logic calculus. 861-876 - Nikola Benes
Partial order reduction for state/event LTL with application to component-interaction automata. 877-890 - Robert Colvin
A semantics for Behavior Trees using CSP with specification commands. 891-914 - Johan Dovland, Einar Broch Johnsen
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. 915-941 - Peter Y. H. Wong, Jeremy Gibbons
Property specifications for workflow modelling. 942-967
Volume 76, Number 11, November 2011
- R. Nigel Horspool, Ralf Gitzel, Giacomo Cabri
Principles and Practice of Programming in Java 2008 - Special issue. 969 - Jevgeni Kabanov, Michael Hunger, Rein Raudjärv:
On designing safe and flexible embedded DSLs with Java 5. 970-991 - Lorenzo Bettini
Delegation by object composition. 992-1014 - Alex Villazón
Comprehensive aspect weaving for Java. 1015-1036 - Gregor Wagner, Andreas Gal, Michael Franz:
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. 1037-1053 - Milan Jovic, Matthias Hauswirth:
Listener latency profiling: Measuring the perceptible performance of interactive Java applications. 1054-1072 - Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094]. 1073
Volume 76, Number 12, December 2011
- Andy Zaidman
Preface to the special issue on software evolution, adaptability and variability. 1075-1077 - Tom Arbuckle:
Studying software evolution using artefacts' shared information content. 1078-1097 - Trosky Boris Callo Arias, Paris Avgeriou
A top-down strategy to reverse architecting execution views for a large and complex software-intensive system: An experience report. 1098-1112 - Sergio Castro, Coen De Roover
Diagnosing and correcting design inconsistencies in source code with logical abduction. 1113-1129 - Andreas Classen, Quentin Boucher, Patrick Heymans:
A text-based approach to feature modelling: Syntax and semantics of TVL. 1130-1143 - Roberto Di Cosmo, Davide Di Ruscio
Supporting software evolution in component-based FOSS systems. 1144-1160 - Siim Karus, Marlon Dumas
Predicting the maintainability of XSL transformations. 1161-1176 - Jannik Laval
Supporting simultaneous versions for software evolution assessment. 1177-1193 - Jens Lincke, Malte Appeltauer, Bastian Steinert, Robert Hirschfeld:
An open implementation for context-oriented layer composition in ContextJS. 1194-1209 - Herwig Mannaert, Jan Verelst, Kris Ven:
The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stability. 1210-1222 - Bart Meyers
A framework for evolution of modelling languages. 1223-1246 - Carlos Parra, Xavier Blanc, Anthony Cleve, Laurence Duchien:
Unifying design and runtime software adaptation using aspect models. 1247-1260 - Pieter van der Spek, Steven Klusener:
Applying a dynamic threshold to improve cluster detection of LSI. 1261-1274
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-12-27 21:29 CET 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: