default search action
14. MODULARITY 2015: Fort Collins, CO, USA
- Robert B. France, Sudipto Ghosh, Gary T. Leavens:
Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. ACM 2015, ISBN 978-1-4503-3249-1
Language Design
- Matthias Grimmer, Chris Seaton, Thomas Würthinger, Hanspeter Mössenböck:
Dynamically composing languages in a modular way: supporting C extensions for dynamic languages. 1-13 - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Generalized layer activation mechanism through contexts and subscribers. 14-28 - Francisco Sant'Anna, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez:
Structured synchronous reactive programming with Cýu. 29-40
Software Engineering
- Andrew Bodzay, Laurie J. Hendren:
AspectMatlab++: annotations, types, and aspects for scientists. 41-54 - Niklas Fors, Gustav Cedersjö, Görel Hedin:
JavaRAG: a Java library for reference attribute grammars. 55-67 - Everton T. Guimarães, Alessandro F. Garcia, Yuanfang Cai:
Architecture-sensitive heuristics for prioritizing critical code anomalies. 68-80 - Leonardo Teixeira Passos, Jesús Padilla Gaeta, Thorsten Berger, Sven Apel, Krzysztof Czarnecki, Marco Túlio Valente:
Feature scattering in the large: a longitudinal study of Linux kernel device drivers. 81-92
Formal Methods 1
- Mehdi Bagherzadeh, Hridesh Rajan:
Panini: a concurrent programming model for solving pervasive and oblivious interference. 93-108 - Wojciech Mostowski, Mattias Ulbrich:
Dynamic dispatch for method contracts through abstract predicates. 109-116
Formal Methods 2
- Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan:
Modular reasoning in the presence of event subtyping. 117-132 - Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tuma, Walter Binder:
A programming model and framework for comprehensive dynamic analysis on Android. 133-145
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.