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
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
REScala: bridging between object-oriented and functional style in reactive applications. 25-36 - Thomas F. J.-M. Pasquier
FlowR: aspect oriented programming for information flow control in ruby. 37-48
Software evolution
- Luciana Lourdes Silva, Marco Túlio Valente
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
Automated software remodularization based on move refactoring: a complex systems approach. 73-84
Modularity visions
- Tetsuo Kamina, Tomoyuki Aotani
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
Compositional reasoning about aspect interference. 133-144 - Martin Churchill, Peter D. Mosses
Reusable components of semantic specifications. 145-156 - Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan
AspectJML: modular specification and runtime checking for crosscutting contracts. 157-168
Software product lines
- Clemens Dubslaff, Sascha Klüppelholz
Probabilistic model checking for energy analysis in software product lines. 169-180 - Jan Midtgaard
Systematic derivation of static analyses for software product lines. 181-192
Concurrency
- Nicolas Tabareau
Aspectual session types. 193-204 - Jurgen Michael Van Ham, Guido Salvaneschi
JEScala: modular coordination with declarative events and joins. 205-216
Language mechanisms II
- Andreas Rentschler, Dominik Werle, Qais Noorshams, Lucia Happe
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.
last updated on 2024-11-19 20:33 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: