The state of the art in language workbenches: Conclusions from the language workbench challenge
Abstract Language workbenches are tools that provide high-level mechanisms for the
implementation of (domain-specific) languages. Language workbenches are an active area …
implementation of (domain-specific) languages. Language workbenches are an active area …
Comparing block-based and text-based programming in high school computer science classrooms
D Weintrop, U Wilensky - ACM Transactions on Computing Education …, 2017 - dl.acm.org
The number of students taking high school computer science classes is growing.
Increasingly, these students are learning with graphical, block-based programming …
Increasingly, these students are learning with graphical, block-based programming …
To block or not to block, that is the question: students' perceptions of blocks-based programming
D Weintrop, U Wilensky - … of the 14th international conference on …, 2015 - dl.acm.org
Blocks-based programming tools are becoming increasingly common in high-school
introductory computer science classes. Such contexts are quite different than the younger …
introductory computer science classes. Such contexts are quite different than the younger …
Analysis and transformation of constrained Horn clauses for program verification
This paper surveys recent work on applying analysis and transformation techniques that
originate in the field of constraint logic programming (CLP) to the problem of verifying …
originate in the field of constraint logic programming (CLP) to the problem of verifying …
The landscape of Block-based programming: Characteristics of block-based environments and how they support the transition to text-based programming
Y Lin, D Weintrop - Journal of Computer Languages, 2021 - Elsevier
Block-based programming (BBP) environments have become increasingly commonplace
computer science education. Despite a rapidly expanding ecosystem of BBP environments …
computer science education. Despite a rapidly expanding ecosystem of BBP environments …
Evaluating and comparing language workbenches: Existing results and benchmarks for the future
Abstract Language workbenches are environments for simplifying the creation and use of
computer languages. The annual Language Workbench Challenge (LWC) was launched in …
computer languages. The annual Language Workbench Challenge (LWC) was launched in …
Using commutative assessments to compare conceptual understanding in blocks-based and text-based programs
D Weintrop, U Wilensky - Proceedings of the eleventh annual …, 2015 - dl.acm.org
Blocks-based programming environments are becoming increasingly common in
introductory programming courses, but to date, little comparative work has been done to …
introductory programming courses, but to date, little comparative work has been done to …
The zipper
G Huet - Journal of functional programming, 1997 - cambridge.org
Almost every programmer has faced the problem of representing a tree together with a
subtree that is the focus of attention, where that focus may move left, right, up or down the …
subtree that is the focus of attention, where that focus may move left, right, up or down the …
Integrating noninterfering versions of programs
The need to integrate several versions of a program into a common one arises frequently,
but it is a tedious and time consuming task to integrate programs by hand. To date, the only …
but it is a tedious and time consuming task to integrate programs by hand. To date, the only …
The origins of structural operational semantics
GD Plotkin - The Journal of Logic and Algebraic Programming, 2004 - Elsevier
We review the origins of structural operational semantics. The main publicationA Structural
Approach to Operational Semantics,'also known as theAarhus Notes,'appeared in 1981 [GD …
Approach to Operational Semantics,'also known as theAarhus Notes,'appeared in 1981 [GD …