Journal: Computer languages, systems & structures - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Computer languages, systems & structures

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) ↗