ACM SIGPLAN International Conference on Software Language Engineering, SLE 2014


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Model Checking of CTL-Extended OCL Specifications

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl

Model Checking of CTL-Extended OCL Specifications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Monto: A Disintegrated Development Environment

Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat

Monto: A Disintegrated Development Environment

Details
Discussion Comments: 0
Verification: Authors have not verified information

Streamlining Control Flow Graph Construction with DCFlow

Mark Hills

Streamlining Control Flow Graph Construction with DCFlow

Details
Discussion Comments: 0
Verification: Author has not verified information

Towards User-Friendly Projectional Editors

Markus Völter, Janet Siegmund, Thorsten Berger, Bernd Kolb

Towards User-Friendly Projectional Editors

Details
Discussion Comments: 0
Verification: Authors have not verified information

Origin Tracking in Attribute Grammars

Kevin Williams, Eric Van Wyk

Origin Tracking in Attribute Grammars

Details
Discussion Comments: 0
Verification: Authors have not verified information

Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

Daco Harkes, Eelco Visser

Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

Details
Discussion Comments: 0
Verification: Authors have not verified information

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Evaluating the Usability of a Visual Feature Modeling Notation

Aleksandar Jaksic, Robert B. France, Philippe Collet, Sudipto Ghosh

Evaluating the Usability of a Visual Feature Modeling Notation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Respect Your Parents: How Attribution and Rewriting Can Get Along

Anthony M. Sloane, Matthew Roberts, Leonard G. C. Hamey

Respect Your Parents: How Attribution and Rewriting Can Get Along

Details
Discussion Comments: 0
Verification: Authors have not verified information

fUML as an Assembly Language for Model Transformation

Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura

fUML as an Assembly Language for Model Transformation

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Bounded Seas - - Island Parsing Without Shipwrecks

Jan Kurs, Mircea Lungu, Oscar Nierstrasz

Bounded Seas - - Island Parsing Without Shipwrecks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Dynamic Scope Discovery for Model Transformations

Maris Jukss, Clark Verbrugge, Dániel Varró, Hans Vangheluwe

Dynamic Scope Discovery for Model Transformations

Details
Discussion Comments: 0
Verification: Authors have not verified information

Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle

Tom Ridge

Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle

Details
Discussion Comments: 0
Verification: Author has not verified information

The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers

Andrei Chis, Tudor Gîrba, Oscar Nierstrasz

The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers

Details
Discussion Comments: 0
Verification: Authors have not verified information

Test-Data Generation for Xtext - Tool Paper

Johannes Härtel, Lukas Härtel, Ralf Lämmel

Test-Data Generation for Xtext - Tool Paper

Details
Discussion Comments: 0
Verification: Authors have not verified information

ProMoBox: A Framework for Generating Domain-Specific Property Languages

Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer

ProMoBox: A Framework for Generating Domain-Specific Property Languages

Details
Discussion Comments: 0
Verification: Authors have not verified information

A Metamodel Family for Role-Based Modeling and Programming Languages

Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann

A Metamodel Family for Role-Based Modeling and Programming Languages

Details
Discussion Comments: 0
Verification: Authors have not verified information

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

Details
Discussion Comments: 0
Verification: Authors have not verified information

Eco: A Language Composition Editor

Lukas Diekmann, Laurence Tratt

Eco: A Language Composition Editor

Details
Discussion Comments: 0
Verification: Authors have not verified information