1. A change-aware per-file analysis to compile configurable systems with #ifdefs. (December 2018) Authors: Braz, Larissa; Gheyi, Rohit; Mongiovi, Melina; Ribeiro, Márcio; Medeiros, Flávio; Teixeira, Leopoldo; Souto, Sabrina Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 427 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A domain-specific language for model mutation and its application to the automated generation of exercises. (September 2017) Authors: Gómez-Abajo, Pablo; Guerra, Esther; Lara, Juan de Journal: Computer languages, systems & structures Issue: Volume 49(2017) Page Start: 152 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A DSL for modeling application-specific functionalities of business applications. (October 2015) Authors: Popovic, Aleksandar; Lukovic, Ivan; Dimitrieski, Vladimir; Djukic, Verislav Journal: Computer languages, systems & structures Issue: Volume 43(2015) Page Start: 69 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A flexible framework for studying trace-based just-in-time compilation. (January 2018) Authors: Vandercammen, Maarten; Marr, Stefan; De Roover, Coen Journal: Computer languages, systems & structures Issue: Volume 51(2017) Page Start: 22 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A formal semantics of nested atomic sections with thread escape. (July 2015) Authors: Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas Journal: Computer languages, systems & structures Issue: Volume 42(2015) Page Start: 2 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A formal semantics of nested atomic sections with thread escape. (July 2015) Authors: Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas Journal: Computer languages, systems & structures Issue: Volume 42(2015) Page Start: 2 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. A framework for early design and prototyping of service-oriented applications with design patterns. (November 2016) Authors: Capelli, Steven; Scandurra, Patrizia Journal: Computer languages, systems & structures Issue: Volume 46(2016) Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. (January 2017) Authors: Ghorbal, Khalil; Sogokon, Andrew; Platzer, André Journal: Computer languages, systems & structures Issue: Volume 47:Part 1(2017) Page Start: 19 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. A lightweight approach to component-level exception mechanism for robust android apps. (December 2015) Authors: Choi, Kwanghoon; Chang, Byeong-Mo Journal: Computer languages, systems & structures Issue: Volume 44:Part C(2015) Page Start: 283 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. A methodology for speeding up loop kernels by exploiting the software information and the memory architecture. (April 2015) Authors: Kelefouras, Vasilios; Kritikakou, Angeliki; Goutis, Costas Journal: Computer languages, systems & structures Issue: Volume 41(2015) Page Start: 21 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗