


default search action
13th MODULARITY 2014: Lugano, Switzerland
- Walter Binder
, Erik Ernst, Achille Peternier, Robert Hirschfeld:
13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. ACM 2014, ISBN 978-1-4503-2772-5
Language mechanisms I
- Erwann Wernli, Oscar Nierstrasz
, Camille Teruel, Stéphane Ducasse:
Delegation proxies: the power of propagation. 1-12 - Kazuhiro Ichikawa, Shigeru Chiba:
Composable user-defined operators that can express user-defined literals. 13-24 - Guido Salvaneschi
, Gerold Hintz, Mira Mezini:
REScala: bridging between object-oriented and functional style in reactive applications. 25-36 - Thomas F. J.-M. Pasquier
, Jean Bacon, Brian Shand:
FlowR: aspect oriented programming for information flow control in ruby. 37-48
Software evolution
- Luciana Lourdes Silva, Marco Túlio Valente
, Marcelo de Almeida Maia:
Assessing modularity using co-change clusters. 49-60 - Alessandro Cavalcante Gurgel, Isela Macia Bertran, Alessandro Garcia, Arndt von Staa, Mira Mezini, Michael Eichberg, Ralf Mitschke:
Blending and reusing rules for architectural degradation prevention. 61-72 - Marcelo Serrano Zanetti
, Claudio Juan Tessone
, Ingo Scholtes
, Frank Schweitzer:
Automated software remodularization based on move refactoring: a complex systems approach. 73-84
Modularity visions
- Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara, Tetsuo Tamai:
Context-oriented software engineering: a modularity vision. 85-98
Understanding programmers
- Samuel Spiza, Stefan Hanenberg:
Type names without static type checking already improve the usability of APIs (as long as the type names are correct): an empirical study. 99-108 - Carlos Souza, Eduardo Figueiredo:
How do programmers use optional typing?: an empirical study. 109-120 - Bruno Carreiro da Silva, Cláudio Sant'Anna, Christina von Flach G. Chavez
:
An empirical study on how developers reason about module cohesion. 121-132
The meaning of programs
- Ismael Figueroa
, Tom Schrijvers
, Nicolas Tabareau, Éric Tanter:
Compositional reasoning about aspect interference. 133-144 - Martin Churchill, Peter D. Mosses
, Paolo Torrini:
Reusable components of semantic specifications. 145-156 - Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan
, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
AspectJML: modular specification and runtime checking for crosscutting contracts. 157-168
Software product lines
- Clemens Dubslaff, Sascha Klüppelholz
, Christel Baier
:
Probabilistic model checking for energy analysis in software product lines. 169-180 - Jan Midtgaard
, Claus Brabrand, Andrzej Wasowski
:
Systematic derivation of static analyses for software product lines. 181-192
Concurrency
- Nicolas Tabareau
, Mario Südholt, Éric Tanter:
Aspectual session types. 193-204 - Jurgen Michael Van Ham, Guido Salvaneschi
, Mira Mezini, Jacques Noyé:
JEScala: modular coordination with declarative events and joins. 205-216
Language mechanisms II
- Andreas Rentschler, Dominik Werle, Qais Noorshams, Lucia Happe
, Ralf H. Reussner
:
Designing information hiding modularity for model transformation languages. 217-228 - Junhee Cho, Sukyoung Ryu
:
JavaScript module system: exploring the design space. 229-240 - Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser:
Modular specification and dynamic enforcement of syntactic language constraints when generating code. 241-252

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.