5 citations · 11 across the 11 of their papers we have counts for
9 papers · 1 filter
Formal Semantics and Type System for Vega Data Transformations
Kristýna Petrlíková, Tomas Petricek
Vega is a popular declarative language for creating interactive data visualizations. It supports reactive data transformations using its streaming dataflow architecture. Despite it…
Schema Evolution in Interactive Programming Systems
Jonathan Edwards, Tomas Petricek, Tijs van der Storm +1
Many improvements to programming have come from shortening feedback loops, for example with Integrated Development Environments, Unit Testing, Live Programming, and Distributed Ver…
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
Jan Liam Verter, Tomas Petricek
There are two kinds of systems that programming language researchers use for their work. Semantics engineering tools let them interactively explore their definitions, while proof a…
Typed Image-based Programming with Structure Editing
Jonathan Edwards, Tomas Petricek
Many beloved programming systems are image-based: self-contained worlds that persist both code and data in a single file. Examples include Smalltalk, LISP, HyperCard, Flash, and sp…
Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek +1
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively ex…
Foundations of a live data exploration environment
Tomas Petricek
Context: A growing amount of code is written to explore and analyze data, often by data analysts who do not have a traditional background in programming, for example by journalists…