Science of Computer Programming, Volume 78

Volume 78, Number 1, November 2012

Special Section: Formal Aspects of Component Software (FACS09)

• 
  Sun Meng, Bernhard Schätz:
  Formal Aspects of Component Software (FACS'09). 1-2
• 
  Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
  Formal modeling of evolving self-adaptive systems. 3-26
• 
  Markus Lumpe:
  Partition refinement of Component Interaction Automata. 27-45
• 
  Carlos Canal, Javier Cámara, Gwen Salaün:
  Structural reconfiguration of systems under behavioral adaptation. 46-64

Regular Articles

• 
  Arturo Zambrano, Johan Fabry, Silvia E. Gordillo:
  Expressing aspectual interactions in requirements engineering: Experiences, problems and solutions. 65-92
• 
  Alireza Khalilian, Mohammad Abdollahi Azgomi, Yalda Fazlalizadeh:
  An improved method for test case prioritization by incorporating historical test case data. 93-116
• 
  Eduardo Kessler Piveta, Ana Moreira, Marcelo Soares Pimenta, João Araújo, Pedro Guerreiro, Roberto Tom Price:
  An empirical study of aspect-oriented metrics. 117-144

Volume 78, Number 2, February 2013

• 
  Dave Clarke, Gul Agha:
  Preface to the special issue on Coordination Models and Languages (Coordination 2010). 145-146
• 
  K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster:
  Efficient sessions. 147-167
• 
  Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers:
  NOW: Orchestrating services in a nomadic network using a dedicated workflow language. 168-194
• 
  Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
  Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks. 195-217
• 
  Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer:
  Combining traits with boxes and ownership types in a Java-like setting. 218-247
• 
  Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
  Behavioural contracts with request-response operations. 248-267

Volume 78, Number 3, March 2013

Obituary

• 
  Jason Crampton:
  A personal tribute to Steve Barker. 269

Editorial

• 
  Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
  Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. 270-271

Special Issue Papers

• 
  Stefan Hallerstede, Michael Leuschel, Daniel Plagge:
  Validation of formal models by refinement animation. 272-292
• 
  Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler:
  Reasoned modelling critics: Turning failed proofs into modelling guidance. 293-309
• 
  David Déharbe:
  Integration of SMT-solvers in B and Event-B development environments. 310-326
• 
  Mark C. Reynolds:
  Modeling the Java Bytecode Verifier. 327-342

Volume 78, Number 4, April 2013

Special section on Mutation Testing and Analysis (Mutation 2010)

• 
  Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser:
  Special section on Mutation testing (Mutation 2010). 343-344
• 
  John A. Clark, Haitao Dan, Robert M. Hierons:
  Semantic mutation testing. 345-363
• 
  Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt:
  Mutation at the multi-class and system levels. 364-387

Special section on the Programming Languages track at the 25th ACM Symposium on Applied Computing (SAC 2010)

• 
  Marjan Mernik, Barrett R. Bryant:
  Special issue on the Programming Languages track at the 25th ACM Symposium on Applied Computing. 388-389
• 
  Corneliu Popeea, Wei-Ngan Chin:
  Dual analysis for proving safety and finding bugs. 390-411
• 
  Eduardo Rocha Rodrigues, Philippe Olivier Alexandre Navaux, Jairo Panetta, Celso L. Mendes:
  Preserving the original MPI semantics in a virtualized processor environment. 412-421

Volume 78, Number 5, May 2013

Special section: Principles and Practice of Programming in Java 2009/2010

• 
  Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson:
  Foreword. 423-424
• 
  Guillermo L. Taboada, Sabela Ramos, Roberto R. Expósito, Juan Touriño, Ramon Doallo:
  Java in the High Performance Computing arena: Research, practice and experience. 425-444
• 
  Liangliang Tong, Francis C. M. Lau:
  Skew-space garbage collection. 445-457
• 
  Alan Leung, Ondrej Lhoták, Ghulam Lashari:
  Parallel execution of Java loops on Graphics Processing Units. 458-480
• 
  Thomas Würthinger, Christian Wimmer, Lukas Stadler:
  Unrestricted and safe dynamic code evolution for Java. 481-498
• 
  Matthias Hauswirth, Andrea Adamoli:
  Teaching Java programming with the Informa clicker system. 499-520
• 
  Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
  TraitRecordJ: A programming language with traits and records. 521-541

Special section: Self-Organizing Coordination

• 
  Matteo Casadei, Marco Mamei, Ronaldo Menezes:
  Preface to the Special section on Self-Organizing Coordination. 542-543
• 
  Shlomi Dolev, Nir Tzachar:
  Spanders: Distributed spanning expanders. 544-555
• 
  Mirko Viroli:
  On competitive self-composition in pervasive services. 556-568
• 
  Elena Nardini, Andrea Omicini, Mirko Viroli:
  Semantic tuple centres. 569-582
• 
  Conor Muldoon, Gregory M. P. O'Hare, Michael J. O'Grady, Richard Tynan, Niki Trigoni:
  Distributed constraint optimisation for resource limited sensor networks. 583-593
• 
  Linge Bai, Manolya Eyiyurekli, Peter I. Lelkes, David E. Breen:
  Self-organized sorting of heterotypic agents via a chemotaxis paradigm. 594-611

Volume 78, Number 6, June 2013

Special section: The Programming Languages track at the 26th ACM Symposium on Applied Computing (SAC 2011)

• 
  Marjan Mernik, Barrett R. Bryant:
  Special section on the Programming Languages track at the 26th ACM Symposium on Applied Computing. 613-614
• 
  Tom Dinkelaker, Michael Eichberg, Mira Mezini:
  Incremental concrete syntax for embedded languages with support for separate compilation. 615-632
• 
  Mirko Viroli, Jacob Beal, Kyle Usbeck:
  Operational semantics of proto. 633-656
• 
  Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
  FAMILIAR: A domain-specific language for large scale management of feature models. 657-681

Special section on Agent-oriented Design Methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments

• 
  Giacomo Cabri, Maria Ganzha:
  Preface to the special section on agent-oriented design methods and programming techniques for distributed computing in dynamic and complex environments. 682-683
• 
  Hoa Khanh Dam, Michael Winikoff:
  Towards a next-generation AOSE methodology. 684-694
• 
  Emilia Garcia, Adriana Giret, Vicente J. Botti:
  A Model-Driven CASE tool for developing and verifying regulated open MAS. 695-704
• 
  Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli:
  Simulation in Agent-Oriented Software Engineering: The SODA case study. 705-714
• 
  Guillermo Vigueras, Juan M. Orduña, Miguel Lozano, Yvon Jégou:
  A scalable multiagent system architecture for interactive applications. 715-724
• 
  Giancarlo Fortino, Francesco Rango:
  An application-level technique based on recursive hierarchical state machines for agent execution state capture. 725-746
• 
  Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner, Alessandro Ricci, Andrea Santi:
  Multi-agent oriented programming with JaCaMo. 747-761
• 
  Sorin Ilie, Costin Badica:
  Multi-agent approach to distributed ant colony optimization. 762-774

Volume 78, Number 7, July 2013

Special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

• 
  María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri:
  Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). 775-777
• 
  Sami Evangelista, Lars Michael Kristensen:
  Dynamic state space partitioning for external memory state space exploration. 778-795
• 
  José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
  Formal verification of side-channel countermeasures using self-composition. 796-812
• 
  Alwyn Goodloe, César A. Muñoz:
  Compositional verification of a communication protocol for a remotely operated aircraft. 813-827
• 
  Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini:
  The Metrô Rio case study. 828-842
• 
  Radu Mateescu, Wendelin Serwe:
  Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. 843-861
• 
  Jörg Brauer, Andy King, Stefan Kowalewski:
  Abstract interpretation of microcontroller code: Intervals meet congruences. 862-883
• 
  Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
  Developing mode-rich satellite software by refinement in Event-B. 884-905

Special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing

• 
  Davide Ancona:
  Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing. 906
• 
  Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani:
  On flexible dynamic trait replacement for Java-like languages. 907-932
• 
  Chieri Saito, Atsushi Igarashi:
  Matching MyType to subtyping. 933-952
• 
  David Lievens, William Harrison:
  Abstraction over implementation structure with symmetrically encapsulated multimethods. 953-968

Volume 78, Number 8, August 2013

Special section on software evolution, adaptability, and maintenance

• 
  Lionel Seinturier, Mark van den Brand:
  Preface to the special section on software evolution, adaptability, and maintenance. 969-970
• 
  Mathieu Goeminne, Tom Mens:
  A comparison of identity merge algorithms for software repositories. 971-986
• 
  Marco Autili, Paolo Di Benedetto, Paola Inverardi:
  A hybrid approach for resource-based comparison of adaptable Java applications. 987-1009
• 
  Miguel A. Laguna, Yania Crespo:
  A systematic mapping study on software product line evolution: From legacy system reengineering to product line refactoring. 1010-1034
• 
  Sébastien Mosser, Mireille Blay-Fornarino:
  "Adore", a logical meta-model supporting business process evolution. 1035-1054
• 
  Jannik Laval, Nicolas Anquetil, Usman Bhatti, Stéphane Ducasse:
  oZone: Layer identification in the presence of cyclic dependencies. 1055-1072
• 
  Juan F. Navas, Jean-Philippe Babau, Jacques Pulou:
  Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. 1073-1098
• 
  Heidar Pirzadeh, Sara Shanian, Abdelwahab Hamou-Lhadj, Luay Alawneh, Arya Shafiee:
  Stratified sampling of execution traces: Execution phases serving as strata. 1099-1118

Special section on the Brazilian Symposium on Programming Languages

• 
  André L. M. Santos, João Saraiva:
  Special section on the Brazilian Symposium on Programming Languages. 1119-1120
• 
  Mónica Martínez, Alberto Pardo:
  A shortcut fusion approach to accumulations. 1121-1136
• 
  Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira:
  Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. 1137-1156
• 
  Fernando Barden Rubbo, Eduardo Kessler Piveta, Daltro José Nunes:
  Inference rules for generic code migration of aspect-oriented programs. 1157-1175
• 
  Rui Shi, Hongwei Xi:
  A linear type system for multicore programming in ATS. 1176-1192
• 
  Leonardo Luiz Padovani da Mata, Fernando Magno Quintão Pereira, Renato Ferreira:
  Automatic parallelization of canonical loops. 1193-1206

Volume 78, Number 9, September 2013

• 
  Jan A. Bergstra:
  Editorial. 1207
• 
  Daniel M. Berry:
  The essential similarity and differences between mathematical modeling and programming. 1208-1211
• 
  Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili:
  Invariant assertions, invariant relations, and invariant functions. 1212-1239
• 
  Raju Halder, Agostino Cortesi:
  Abstract program slicing on dependence condition graphs. 1240-1263
• 
  Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
  Predictive access control for distributed computation. 1264-1277
• 
  Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
  A weakest precondition calculus for BUnity. 1278-1293
• 
  Che-Sheng Lin, Gwan-Hwan Hwang:
  State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences. 1294-1323
• 
  Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
  Automatic equivalence proofs for non-deterministic coalgebras. 1324-1345
• 
  Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
  Incremental construction of systems: An efficient characterization of the lacking sub-system. 1346-1367
• 
  Lukasz Kwiatkowski, Chris Verhoef:
  Recovering management information from source code. 1368-1406
• 
  Irit Hadar:
  When intuition and logic clash: The case of the object-oriented paradigm. 1407-1426
• 
  Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
  Heap space analysis for garbage collected languages. 1427-1448
• 
  Andrew M. Sutton, Jonathan I. Maletic:
  Emulating C++0x concepts. 1449-1469
• 
  Jayaraj Poroor, Bharat Jayaraman:
  Modeling mobile stateful channels in ππZ. 1470-1489
• 
  Patrick Eugster:
  Safe uniform proxies for Java. 1490-1520
• 
  Wim H. Hesselink:
  Complete assertional proof rules for progress under weak and strong fairness. 1521-1537
• 
  Paul Leger, Éric Tanter, Rémi Douence:
  Modular and flexible causality control on the Web. 1538-1558
• 
  Ehsan Atoofian, Amirali Baniasadi, Yvonne Coady:
  ARV-ALA: Improving performance of software transactional memory through adaptive read and write policies. 1559-1571
• 
  Kedian Mu, Zhi Jin, Weiru Liu, Didar Zowghi, Bo Wei:
  Measuring the significance of inconsistency in the Viewpoints framework. 1572-1599
• 
  Ábel Sinkovics, Zoltán Porkoláb:
  Implementing monads for C++ template metaprograms. 1600-1621
• 
  Wim H. Hesselink:
  Mechanical verification of Lamport's Bakery algorithm. 1622-1638
• 
  Fabiano Cutigi Ferrari, Awais Rashid, José Carlos Maldonado:
  Towards the practical mutation testing of AspectJ programs. 1639-1662
• 
  Scott Grant, James R. Cordy, David B. Skillicorn:
  Using heuristics to estimate an appropriate number of latent topics in source code analysis. 1663-1678
• 
  Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan:
  Verification of quantum programs. 1679-1700
• 
  Hakjoo Oh, Kwangkeun Yi:
  Access-based abstract memory localization in static analysis. 1701-1727
• 
  Hoa Khanh Dam, Aditya Ghose:
  Supporting change impact analysis for intelligent agent systems. 1728-1750

Volume 78, Number 10, October 2013

Special section on Language Descriptions Tools and Applications (LDTA'08 & '09)

• 
  Jurgen J. Vinju:
  Preface to the special section on Language Descriptions Tools and Applications (LDTA'08 & '09). 1751
• 
  Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser:
  A pure embedding of attribute grammars. 1752-1769
• 
  Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
  Programming errors in traversal programs over structured data. 1770-1808
• 
  Emma Söderberg, Torbjörn Ekman, Görel Hedin, Eva Magnusson:
  Extensible intraprocedural flow analysis at the abstract syntax tree level. 1809-1827
• 
  Elizabeth Scott, Adrian Johnstone:
  GLL parse-tree generation. 1828-1844
• 
  Jacob Andersen, Claus Brabrand, David Raymond Christiansen:
  Banana Algebra: Compositional syntactic language extension. 1845-1870
• 
  Michel Chilowicz, Étienne Duris, Gilles Roussel:
  Viewing functions as token sequences to highlight similarities in source code. 1871-1891

Special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011)

• 
  Diego López-de-Ipiña, Sergio F. Ochoa, José Bravo:
  Preface to the special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011). 1892-1894
• 
  Tomás Ruiz-López, Manuel Noguera, María José Rodríguez-Fórtiz, José Luis Garrido, Lawrence Chung:
  REUBI: A Requirements Engineering method for ubiquitous systems. 1895-1911
• 
  Sophie Chabridon, Denis Conan, Zied Abid, Chantal Taconet:
  Building ubiquitous QoC-aware applications through model-driven software engineering. 1912-1929
• 
  Alejandro Catalá, Patricia Pons, Javier Jaén Martínez, José A. Mocholí, Elena Navarro:
  A meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance. 1930-1950
• 
  Coen De Roover, Christophe Scholliers, Wouter Amerijckx, Theo D'Hondt, Wolfgang De Meuter:
  CrimeSPOT: A language and runtime for developing active wireless sensor network applications. 1951-1970
• 
  Alejandro Paz-Lopez, Gervasio Varela, José Antonio Becerra, Santiago Vazquez-Rodriguez, Richard J. Duro:
  Towards ubiquity in ambient intelligence: User-guided component mobility in the HI³ architecture. 1971-1986
• 
  Miriam Gil, Estefanía Serral, Pedro Valderas, Vicente Pelechano:
  Designing for user attention: A method for supporting unobtrusive routine tasks. 1987-2008
• 
  Juan Rodríguez-Covili, Sergio F. Ochoa:
  A lightweight and distributed middleware to provide presence awareness in mobile ubiquitous systems. 2009-2025

Volume 78, Number 11, November 2013

Special section on Mathematics of Program Construction (MPC 2010)

• 
  Jules Desharnais:
  Mathematics of Program Construction (selected papers from MPC 2010). 2027-2028
• 
  Roland Carl Backhouse, Wei Chen, João F. Ferreira:
  The algorithmics of solitaire-like games. 2029-2046
• 
  Brijesh Dongol, Ian J. Hayes:
  Deriving real-time action systems in a sampling logic. 2047-2063
• 
  Walter Guttmann:
  Extended designs algebraically. 2064-2085
• 
  Ian J. Hayes, Steve Dunne, Larissa Meinicke:
  Linking Unifying Theories of Program refinement. 2086-2107
• 
  Ralf Hinze:
  Adjoint folds and unfolds - An extended study. 2108-2159
•