Journal: Science of Computer Programming

Volume 76, Issue 9

737 -- 738Eerke A. Boiten, John Derrick, Gerhard Schellhorn. Selected papers of the Refinement Workshop Turku (2008)
739 -- 755Wim H. Hesselink. Simulation refinement for concurrency verification
756 -- 773Gerhard Schellhorn. Completeness of fair ASM refinement
774 -- 791Steve Reeves, David Streader. Contexts, refinement and determinism
792 -- 833Marcel Oliveira, Frank Zeyda, Ana Cavalcanti. A tactic language for refinement of state-rich concurrent specifications

Volume 76, Issue 8

627 -- 630Axel van Lamsweerde. The humble humorous researcher: A tribute to Michel Sintzoff
631 -- 632Carlos Canal, Pascal Poizat, Marjan Sirjani. Preface
633 -- 650Peter Y. H. Wong, Jeremy Gibbons. Formalisations and applications of BPMN
651 -- 680Sun Meng, Farhad Arbab, Christel Baier. Synthesis of Reo circuits from scenario-based interaction specifications
681 -- 710Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab. Channel-based coordination via constraint satisfaction
711 -- 735Suzana Andova, Luuk Groenewegen, Erik P. de Vink. Dynamic consistency in process algebra: From Paradigm to ACP

Volume 76, Issue 7

542 -- 554Wim H. Hesselink, Alex A. Aravind. Queue based mutual exclusion with linearly bounded overtaking
555 -- 586Roland Ducournau, Jean Privat. Metamodeling semantics of multiple inheritance
587 -- 608Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov. Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
609 -- 626Natarajan Shankar, K. Subramani. A mechanical verification of the stressing algorithm for negative cost cycle detection in networks

Volume 76, Issue 6

467 -- 468Ganesan Ramalingam, Eelco Visser. Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)
469 -- 491Jacques Carette, Michael Kucera. Partial evaluation of Maple
492 -- 515Anders Møller, Michael I. Schwartzbach. XML graphs in program analysis
516 -- 539Alcino Cunha, Joost Visser. Transformation of structure-shy programs with application to XPath queries and strategic functions

Volume 76, Issue 5

347 -- 348Robert Glück, Eelco Visser. Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)
349 -- 375Jacques Carette, Oleg Kiselyov. Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
376 -- 391Shan Shan Huang, David Zook, Yannis Smaragdakis. Statically Safe Program Generation with SafeGen
376 -- 391Shan Shan Huang, David Zook, Yannis Smaragdakis. Statically safe program generation with SafeGen
392 -- 422Christof Lutteroth, Dirk Draheim, Gerald Weber. A type system for reflective program generators
423 -- 465Jeremy G. Siek, Andrew Lumsdaine. A language for generic programming in the large

Volume 76, Issue 4

225 -- 226Jeremy G. Siek. Special issue on library-centric software design (LCSD 2006)
227 -- 242Francis P. Russell, Michael R. Mellor, Paul H. J. Kelly, Olav Beckmann. DESOLA: An active linear algebra library using delayed evaluation and runtime code generation
243 -- 257Lubomir D. Bourdev, Jaakko Järvi. Efficient run-time dispatching in generic programming with minimal code bloat
258 -- 277Cosmin E. Oancea, Stephen M. Watt. An architecture for generic extensions
278 -- 289Gustav Munkby, Sibylle Schupp. Automating exception-safety classification
290 -- 306Yuriy Solodkyy, Jaakko Järvi. Extending type systems in a library: Type-safe XML processing in C++
307 -- 323Sylvain Pion, Andreas Fabri. A generic lazy evaluation scheme for exact geometric computations
324 -- 346René Heinzl, Philipp Schwaha. A generic topology library

Volume 76, Issue 3

159 -- 0Philippe Audebaud, Christine Paulin-Mohring. Preface
160 -- 180Roland Carl Backhouse, João F. Ferreira. On Euclid s algorithm and elementary number theory
181 -- 203Jules Desharnais, Georg Struth. Internal axioms for domain semirings
204 -- 224Ralph Matthes. Map fusion for nested datatypes in intensional type theory

Volume 76, Issue 2

63 -- 64Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino. Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
65 -- 81Guodong 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
82 -- 99Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen. Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving
100 -- 118Bastian Schlich, Jörg Brauer, Stefan Kowalewski. Application of static analyses for state-space reduction to the microcontroller binary code
119 -- 135Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti. A state/event-based model-checking approach for the analysis of abstract system properties
136 -- 157Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek. Flash memory efficient LTL model checking

Volume 76, Issue 12

1075 -- 1077Andy Zaidman, Johan Brichau. Preface to the special issue on software evolution, adaptability and variability
1078 -- 1097Tom Arbuckle. Studying software evolution using artefacts shared information content
1098 -- 1112Trosky Boris Callo Arias, Paris Avgeriou, Pierre America, Krelis Blom, Sergiy Bachynskyy. A top-down strategy to reverse architecting execution views for a large and complex software-intensive system: An experience report
1113 -- 1129Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D Hondt. Diagnosing and correcting design inconsistencies in source code with logical abduction
1130 -- 1143Andreas Classen, Quentin Boucher, Patrick Heymans. A text-based approach to feature modelling: Syntax and semantics of TVL
1144 -- 1160Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli. Supporting software evolution in component-based FOSS systems
1161 -- 1176Siim Karus, Marlon Dumas. Predicting the maintainability of XSL transformations
1177 -- 1193Jannik Laval, Simon Denier, Stéphane Ducasse, Jean-Rémy Falleri. Supporting simultaneous versions for software evolution assessment
1194 -- 1209Jens Lincke, Malte Appeltauer, Bastian Steinert, Robert Hirschfeld. An open implementation for context-oriented layer composition in ContextJS
1210 -- 1222Herwig Mannaert, Jan Verelst, Kris Ven. The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stability
1223 -- 1246Bart Meyers, Hans Vangheluwe. A framework for evolution of modelling languages
1247 -- 1260Carlos Andres Parra, Xavier Blanc, Anthony Cleve, Laurence Duchien. Unifying design and runtime software adaptation using aspect models
1261 -- 1274Pieter van der Spek, Steven Klusener. Applying a dynamic threshold to improve cluster detection of LSI

Volume 76, Issue 11

969 -- 0R. Nigel Horspool, Ralf Gitzel, Giacomo Cabri, Markus Aleksy. Principles and Practice of Programming in Java 2008 - Special issue
970 -- 991Jevgeni Kabanov, Michael Hunger, Rein Raudjärv. On designing safe and flexible embedded DSLs with Java 5
992 -- 1014Lorenzo Bettini, Viviana Bono, Betti Venneri. Delegation by object composition
1015 -- 1036Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni. Comprehensive aspect weaving for Java
1037 -- 1053Gregor Wagner, Andreas Gal, Michael Franz. Slimming a Java virtual machine by way of cold code removal and optimistic partial program loading
1054 -- 1072Milan Jovic, Matthias Hauswirth. Listener latency profiling: Measuring the perceptible performance of interactive Java applications
1073 -- 0Christian Häubl, Christian Wimmer, Hanspeter Mössenböck. Erratum to Compact and Efficient Strings for Java [Science of Computer Programming 75 (2010) 1077-1094]

Volume 76, Issue 10

835 -- 836Michael Leuschel, Heike Wehrheim. Selected papers on Integrated Formal Methods (iFM09)
837 -- 860Steve Schneider, Helen Treharne. Changing system interfaces consistently: A new refinement strategy for CSP||B
861 -- 876Benjamin Weiß. Predicate abstraction in a program logic calculus
877 -- 890Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková. Partial order reduction for state/event LTL with application to component-interaction automata
891 -- 914Robert Colvin, Ian J. Hayes. A semantics for Behavior Trees using CSP with specification commands
915 -- 941Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. Incremental reasoning with lazy behavioral subtyping for multiple inheritance
942 -- 967Peter Y. H. Wong, Jeremy Gibbons. Property specifications for workflow modelling

Volume 76, Issue 1

1 -- 2Carlos Canal, Pascal Poizat, Mirko Viroli. Preface
3 -- 22Carolyn L. Talcott, Marjan Sirjani, Shangping Ren. Comparing three coordination models: Reo, ARC, and PBRD
23 -- 36Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab. Modeling dynamic reconfigurations in Reo using high-level replacement systems
37 -- 62Alessandro Ricci, Mirko Viroli, Giulio Piancastelli. simpA: An agent-oriented approach for programming concurrent applications on top of Java