Zobrazeno 1 - 10
of 140
pro vyhledávání: '"Storm, Tijs"'
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 16
Context: In the first part of his 2012 presentation "Inventing on Principle", Bret Victor gives a demo of a live code editor for Javascript which shows the dynamic history of values of variables in real time. This form of live programming has become
Externí odkaz:
http://arxiv.org/abs/2403.02161
Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expressed explicitly in a database schema or type system, or whether those e
Externí odkaz:
http://arxiv.org/abs/2309.11406
Autor:
Storm, Tijs van der.
Proefschrift Universiteit van Amsterdam.
Met lit.opg. en samenvatting in het Nederlands.
Met lit.opg. en samenvatting in het Nederlands.
Externí odkaz:
http://dare.uva.nl/document/54378
Publikováno v:
The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 11
Context: Computational notebooks are a contemporary style of literate programming, in which users can communicate and transfer knowledge by interleaving executable code, output, and prose in a single rich document. A Domain-Specific Language (DSL) is
Externí odkaz:
http://arxiv.org/abs/2002.06180
Publikováno v:
The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 1, Article 3
Context: Concurrent objects with asynchronous messaging are an increasingly popular way to structure highly available, high performance, large-scale software systems. To ensure data-consistency and support synchronization between objects such systems
Externí odkaz:
http://arxiv.org/abs/1908.05940
Publikováno v:
The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 15
Context: Meta programming consists for a large part of matching, analyzing, and transforming syntax trees. Many meta programming systems process abstract syntax trees, but this requires intimate knowledge of the structure of the data type describing
Externí odkaz:
http://arxiv.org/abs/1902.00543
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
van der Storm, Tijs, Erdweg, Sebastian
The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in di
Externí odkaz:
http://arxiv.org/abs/1508.03536
Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture. Variable capture occurs when in the generated program a variable declaration accidentally shadows the intended target of a var
Externí odkaz:
http://arxiv.org/abs/1404.5770
Publikováno v:
EPTCS 56, 2011, pp. 15-32
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based
Externí odkaz:
http://arxiv.org/abs/1107.0064