default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 96
Volume 96, Part 1, December 2014
- Loïc Lagadec
, Alain Plantec:
Preface to the special issue on advances in Smalltalk based systems. 1-3
- David Chisnall:
Smalltalk in a C world. 4-16 - Marcel Hlopko, Jan Kurs, Jan Vraný, Claus Gittinger:
On the integration of Smalltalk and Java. 17-33
- Benjamin Van Ryseghem, Stéphane Ducasse, Johan Fabry:
Seamless composition and reuse of customizable user interfaces with Spec. 34-51 - Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, Marcus Denker:
Gradual typing for Smalltalk. 52-69 - Martin Unterholzner:
Improving refactoring tools in Smalltalk using static type inference. 70-83
- Verónica Uquillas Gómez, Stéphane Ducasse, Andy Kellens:
Supporting streams of changes during branch integration. 84-106 - Reinout Stevens, Coen De Roover, Carlos Noguera, Andy Kellens, Viviane Jonckers:
A logic foundation for a general-purpose history querying tool. 107-120 - Tobias Kuhn, Alexandre Bergel:
Verifiable source code documentation in controlled natural language. 121-140
- Guillermo Polito, Stéphane Ducasse, Luc Fabresse, Noury Bouraqadi, Benjamin Van Ryseghem:
Bootstrapping reflective systems: The case of Pharo. 141-155 - Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani:
Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. 156-174
Volume 96, Part 2, December 2014
- Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. 175-176 - Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy:
Left recursion in Parsing Expression Grammars. 177-190 - Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim:
The formalization and implementation of Adaptable Parsing Expression Grammars. 191-210 - Marcos Viera, S. Doaitse Swierstra:
Attribute grammar macros. 211-229 - Felipe Nunes Gaia, Gabriel Coutinho Sousa Ferreira, Eduardo Figueiredo, Marcelo de Almeida Maia:
A quantitative and qualitative assessment of aspectual feature modules for evolving software product lines. 230-253 - Jácome Cunha, Jorge Mendes, João Saraiva, Joost Visser:
Model-based programming environments for spreadsheets. 254-275
Volume 96, Part 3, December 2014
- Gerald Lüttgen, Stephan Merz:
Special issue on Automated Verification of Critical Systems (AVoCS'12). 277-278 - Claude Marché:
Verification of the functional behavior of a floating-point program: An industrial case study. 279-296 - Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim:
Two approaches for proving linearizability of multiset. 297-314 - Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne:
On modelling and verifying railway interlockings: Tracking train lengths. 315-336 - Yang Zhao, Kristin Yvonne Rozier:
Formal specification and verification of a coordination protocol for an automated air traffic control system. 337-353 - Radu Mateescu, Anton Wijs:
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. 354-376 - Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
Constructive polychronous systems. 377-394
Volume 96, Part 4, December 2014
- Krzysztof Czarnecki, Görel Hedin:
Software language engineering (SLE '12). 395 - Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack:
A tutorial on metamodelling for grammar researchers. 396-416 - Giancarlo Guizzardi, Veruska Zamborlini:
Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling. 417-443 - Andrew Stevenson, James R. Cordy:
A survey of grammatical inference in software engineering. 444-459 - Tijs van der Storm, William R. Cook, Alex Loh:
The design and implementation of Object Grammars. 460-487 - Anthony M. Sloane, Matthew Roberts:
Domain-specific program profiling and its application to attribute grammars and term rewriting. 488-510 - Lijesh Krishnan, Eric Van Wyk:
Monolithic and modular termination analyses for higher-order attribute grammars. 511-526 - Bilal Kanso, Safouan Taha:
Specification of temporal properties with OCL. 527-551
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-07 21:16 CEST 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:
