![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.