default search action
Computer 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
Evaluating and comparing language workbenches: Existing results and benchmarks for the future. 24-47 - Andrei Arusoaie
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
Approaches to interpreter composition. 199-217 - Alejandro Sanchez, Alexandre Madeira
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
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
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
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 2024-10-31 20:05 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: