iCoLa: A Compositional Meta-language with Support for Incremental Language Development

Frölich, Damian; Binsbergen, L. Thomas van

doi:10.1145/3567512.3567529

Cited by 4 publications

(3 citation statements)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The funcon definitions in Funcons-beta have all been validated by empirical testing. The Funcons-beta library has also been found useful in the iCoLa meta-language for incremental (meta-)programming [5].…”

Section: Cbs Specificationsmentioning

confidence: 99%

Using Spoofax to Support Online Code Navigation

Mosses¹

2023

Preprint

View full text Add to dashboard Cite

Spoofax is a language workbench. A Spoofax language specification generally includes name resolution: the analysis of bindings between definitions and references. When browsing code in the specified language using Spoofax, the bindings appear as hyperlinks, supporting precise name-based code navigation. However, Spoofax cannot be used for browsing code in online repositories.This paper is about a toolchain that uses Spoofax to generate hyperlinked twins of code repositories. These generated artefacts support the same precise code navigation as Spoofax, and can be browsed online. The technique has been prototyped on the CBS (Component-Based Semantics) specification language developed by the PLanCompS project, but could be used on any language after specifying its name resolution in Spoofax. ACM Subject ClassificationInformation systems → Web interfaces; Software and its engineering → Integrated and visual development environments; Software and its engineering → Development frameworks and environments Keywords and phrases Spoofax language workbench, name resolution, precise code navigation Digital Object Identifier 10.4230/OASIcs.EVCS.2023.21 Category Development

show abstract

Section: Cbs Specificationsmentioning

confidence: 99%

Using Spoofax to Support Online Code Navigation

Mosses¹

2023

Preprint

View full text Add to dashboard Cite

show abstract

“…Moreover, the software tools embodying the theory of structural operational semantics developed so far have mostly taken the form of prototypes and are arguably not as mature and usable as those produced by groups working on the theory of programming languages [63]. The initial work carried out within the PLanCompS [10] aimed to address this gap based on the Modular SOS framework that has been pioneered by Mosses [53]; this line of work has been influential and has led to other frameworks such as the iCoLa framework for incremental language development [36].…”

Section: Gapsmentioning

confidence: 99%

The Way We Were: Structural Operational Semantics Research in Perspective

Aceto,

Crescenzi,

Ingólfsdóttir

et al. 2023

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

“…1 An earlier version of this paper has been presented as: R. van Rozen. 2022 We use this DSL as a illustrative example because it is easy to comprehend, and also appears in related work [19,24]. Figure 3 shows an SML program called doors.…”

Section: Scenario: Modifying a Running Machinementioning

confidence: 99%

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering

2023

View full text Add to dashboard Cite

Welcome to the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) held in October 2023 as part of SPLASH 2023. Software Language Engineering (SLE) is a thriving research discipline targeted at establishing an engineering approach to the development, use, and maintenance of software languages, that is, of languages for the specification, modeling and tooling of software. Key topics of interest for SLE include approaches, methodologies and tools for language design and implementation with a focus on techniques for static and behavioral semantics, generative or interpretative approaches (including transformation languages and code generation) as well as meta-languages and tools (including language workbenches). Techniques enabling the testing, simulation or formal verification for language validation purposes are also of particular interest. SLE also accommodates empirical evaluation and experience reports of language engineering tools, such as user studies evaluating usability, performance benchmarks or industrial applications.In 2023, SLE called for submission in four categories: (1) Research Papers, detailing research contributions to SLE, (2) New Ideas and Vision Papers, describing new, unconventional SLE research approaches that depart from standard practice, (3) SLE Body of Knowledge Papers: surveys, essays, open challenges, empirical observations and case study papers which provide a comprehensive description of the concepts and best practices developed by the SLE community, and (4) Tool Papers, focusing on tooling aspects and insights that are likely to be useful to other tool implementers or users in the future.As in 2022, there was a two-phase submission and review process. This gave authors that submitted to the first round an extra opportunity to improve their work based on the comments and feedback of the reviewers. Altogether 40 submissions were received. Double-anonymous review guidelines were adopted for all papers. The reviewers assessed the submissions in terms of their novelty, significance and potential impact, and were instructed to carefully consider weightings across these criteria depending on the paper category.Each submission was reviewed by at least three members of the Program Committee, and ultimately 20 papers were accepted for presentation. The SLE 2023 keynote was given by Crista Videira Lopes from University of California, Irvine.As the Organization Committee, we are indebted to the hard work of the many people who contributed to the success of this year's SLE. Specifically, we would like to acknowledge the work of the Program Committee and for the timely delivery of iii reviews which resulted in a rich and diverse program. We are also grateful to SLE's Steering Committee and the SPLASH organization for their help. Finally, we would like to thank the authors of all submitted papers -you represent the core of the SLE conference, and it is your work that advances the state of the art in software language engineering. We hope that you will enjoy reading the...

show abstract

iCoLa: A Compositional Meta-language with Support for Incremental Language Development

Cited by 4 publications

References 39 publications

Using Spoofax to Support Online Code Navigation

Using Spoofax to Support Online Code Navigation

The Way We Were: Structural Operational Semantics Research in Perspective

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering

Contact Info

Product

Resources

About