default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer Languages, Systems & Structures, Volume 44
Volume 44, Part A, December 2015
- Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk:
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). 1-2 - Emma Söderberg, Görel Hedin
:
Declarative rewriting through circular nonterminal attributes. 3-23 - Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning:
Evaluating and comparing language workbenches: Existing results and benchmarks for the future. 24-47 - Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
Symbolic execution based on language transformation. 48-71 - Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl:
Intra- and interdiagram consistency checking of behavioral multiview models. 72-88 - Andrei Chis, Marcus Denker, Tudor Gîrba, Oscar Nierstrasz:
Practical domain-specific debuggers using the Moldable Debugger framework. 89-113 - Jan Kurs, Mircea Lungu, Rathesan Iyadurai, Oscar Nierstrasz:
Bounded seas. 114-140
Volume 44, Part B, December 2015
- Hans-Wolfgang Loidl, Ricardo Peña:
Editorial of Special Issue Trends in Functional Programming 2011/12. 141-142 - Josef Svenningsson, Emil Axelsson:
Combining deep and shallow embedding of domain-specific languages. 143-165 - Sjaak Smetsers, Marko C. J. D. van Eekelen:
Derivation and inference of higher-order strictness types. 166-180 - Marco T. Morazán:
Generative and accumulative recursion made fun for beginners. 181-197
Volume 44, Part C, December 2015
- Edd Barrett, Carl Friedrich Bolz, Laurence Tratt:
Approaches to interpreter composition. 199-217 - Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa:
On the verification of architectural reconfigurations. 218-237 - Artur Kornilowicz:
Flexary connectives in Mizar. 238-250 - HeeJong Park, Avinash Malik, Zoran A. Salcic:
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. 251-282 - Kwanghoon Choi, Byeong-Mo Chang:
A lightweight approach to component-level exception mechanism for robust android apps. 283-298 - Vladimir Dimitrieski, Milan Celikovic, Slavica Aleksic, Sonja Ristic, Abdalla Alargt, Ivan Lukovic:
Concepts and evaluation of the extended entity-relationship approach to database design in a multi-paradigm information system modeling tool. 299-318 - Elaheh Azadi Marand, Elham Azadi Marand, Moharram Challenger:
DSML4CP: A Domain-specific Modeling Language for Concurrent Programming. 319-341 - Onur Ülgen, Mutlu Avci:
The intelligent memory allocator selector. 342-354 - Viktoria Fordós, Melinda Tóth:
Supporting comprehensible presentation of clone candidates through two-dimensional maximisation. 355-365
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 2025-02-21 19:38 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:
