Concurrent circular reference attribute grammars

Öqvist, Jesper; Hedin, Görel

doi:10.1145/3136014.3136032

Cited by 6 publications

(4 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Surprisingly, specialized language engineering tools (e.g., LWBs) are not used in this domain. JastAdd [112] and ANTLR [113] were used for developing two environments, each one. Our research resulted in Kogi [158], that uses the Rascal LWB [115] to create block-based editors for new and existing languages.…”

Section: Discussionmentioning

confidence: 99%

DRAFT-What you always wanted to know but could not find about block-based environments

Merino,

Vinju,

Brand

2021

Preprint

View full text Add to dashboard Cite

Block-based environments are visual programming environments, which are becoming more and more popular because of their ease of use. The ease of use comes thanks to their intuitive graphical representation and structural metaphors (jigsaw-like puzzles) to display valid combinations of language constructs to the users. Part of the current popularity of block-based environments is thanks to Scratch.As a result they are often associated with tools for children or young learners. However, it is unclear how these types of programming environments are developed and used in general. So we conducted a systematic literature review on block-based environments by studying 152 papers published between 2014 and 2020, and a non-systematic tool review of 32 block-based environments. In particular, we provide a helpful inventory of block-based editors for end-users on different topics and domains. Likewise, we focused on identifying the main components of block-based environments, how they are engineered, and how they are used. This survey should be equally helpful for language engineering researchers and language engineers alike. CCS Concepts: • General and reference → Surveys and overviews; • Software and its engineering → Graphical user interface languages; Visual languages; Integrated and visual development environments.

show abstract

Section: Discussionmentioning

confidence: 99%

DRAFT-What you always wanted to know but could not find about block-based environments

Merino,

Vinju,

Brand

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…This makes RAGs especially suited for developing compilers, as many compilation subproblems work on graphs. RAG evaluation engines work using on-demand evaluation and memoization for efficiency, and algorithms are available also for incremental and concurrent evaluation [57,58].…”

Section: Reference Attribute Grammarsmentioning

confidence: 99%

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

et al. 2021

Self Cite

View full text Add to dashboard Cite

Industrial cyber-physical system products interleave hardware, software, and communication components. System complexity is increasing simultaneously with increased demands on quality and shortened time-to-market. To effectively support the development of such systems, we present languages and tools for comprehensive integrated model-based development that cover major phases such as requirement analysis, design, implementation, and maintenance. The model-based approach raises the level of abstraction and allows to perform virtual prototyping by simulating and optimizing system models before building physical products. Moreover, open standards and open source implementations enable model portability, tool reuse and a broader deployment. In this paper we present a general overview of the available solutions with focus on Modelica/OpenModelica, Bloqqi, and Acumen. The paper presents contributions to these languages and environments, including symbolic-numeric modeling, requirement verification, code generation, model debugging, design optimization, graphical modeling, and variant handling with traceability, as well a general discussion and conclusions.

show abstract

“…Attribute Grammars support multiple alternative execution models, like Datalog. Reference attribute grammars, supported in JastAdd, are evaluated on-demand [Hedin and Magnusson 2003] and can be evaluated both concurrently [Öqvist and Hedin 2017] and incrementally [Söderberg and Hedin 2012]. have demonstrated incremental program analysis for (distributive) IFDSand IDE-based analyses in their Reviser system, assuming the presence of a program differencing algorithm, and Cheetah by Do et al [2017] demonstrates related techniques to prioritizing local bug detection during live editing.…”

Section: Related Workmentioning

confidence: 99%

JavaDL: automatically incrementalizing Java bug pattern detection

Dura

Reichenbach

Söderberg

2021

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

Static checker frameworks support software developers by automatically discovering bugs that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for such patterns and allow developers to add custom detectors for their own projects. However, existing frameworks generally encode detectors in imperative specifications, with extensive details of not only what to detect but also how . These details complicate detector maintenance and evolution, and also interfere with the framework’s ability to change how detection is done, for instance, to make the detectors incremental. In this paper, we present JavaDL, a Datalog-based declarative specification language for bug pattern detection in Java code. JavaDL seamlessly supports both exhaustive and incremental evaluation from the same detector specification. This specification allows developers to describe local detector components via syntactic pattern matching , and nonlocal (e.g., interprocedural) reasoning via Datalog-style logical rules . We compare our approach against the well-established SpotBugs and Error Prone tools by re-implementing several of their detectors in JavaDL. We find that our implementations are substantially smaller and similarly effective at detecting bugs on the Defects4J benchmark suite, and run with competitive runtime performance. In our experiments, neither incremental nor exhaustive analysis can consistently outperform the other, which highlights the value of our ability to transparently switch execution modes. We argue that our approach showcases the potential of clear-box static checker frameworks that constrain the bug detector specification language to enable the framework to adapt and enhance the detectors.

show abstract

Concurrent circular reference attribute grammars

Cited by 6 publications

References 24 publications

DRAFT-What you always wanted to know but could not find about block-based environments

DRAFT-What you always wanted to know but could not find about block-based environments

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

JavaDL: automatically incrementalizing Java bug pattern detection

Contact Info

Product

Resources

About