Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Tijs van der Storm"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 56, Iss Proc. AMMSE 2011, Pp 15-32 (2011)
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:
https://doaj.org/article/c95ae3a080914ed68bce34d7fb902387
Publikováno v:
SLE
SIGPLAN International Conference on Software Language Engineering (SLE'21)
SIGPLAN International Conference on Software Language Engineering (SLE'21)
Block-based environments are visual programming environments that allow users to program by interactively arranging visual jigsaw-like blocks. They have shown to be helpful in several domains but often require experienced developers for their creatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc91e23c3c7932284da9f29fc5cb2a62
https://doi.org/10.1145/3486608.3486908
https://doi.org/10.1145/3486608.3486908
Publikováno v:
Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
AGERE!@SPLASH
AGERE!@SPLASH
A key challenge of designing distributed software systems is maintaining data consistency. We can define data consistency and data isolation guarantees --e.g. serializability-- in terms of schedules of atomic reads and writes, but this excludes sched
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ddbbb57b8b2d5d05af0528d6245b5a2
https://research.rug.nl/en/publications/7ab3839e-3871-4299-90fd-eadab1ccec36
https://research.rug.nl/en/publications/7ab3839e-3871-4299-90fd-eadab1ccec36
Publikováno v:
14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, 59-70
STARTPAGE=59;ENDPAGE=70;TITLE=14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021
ICST
STARTPAGE=59;ENDPAGE=70;TITLE=14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021
ICST
Writing formal specifications often requires users to abstract from the original problem. Especially when verification techniques such as model checking are used. Without applying abstraction the search space the model checker need to traverse tends
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a467efa2dd4bf75d91deb65d1e7286a3
https://doi.org/10.1109/ICST49551.2021.00018
https://doi.org/10.1109/ICST49551.2021.00018
Publikováno v:
Domain-Specific Languages in Practice ISBN: 9783030737573
One of the strengths of the Jetbrains MPS projectional language workbench is that it supports mixing different kinds of notations (graphical, tabular, textual, etc.). Many existing languages, however, are fully textual and are defined using grammar t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb2d73ce5ae8aa1ccf63661dca8b38dd
https://doi.org/10.1007/978-3-030-73758-0_7
https://doi.org/10.1007/978-3-030-73758-0_7
Publikováno v:
The Art, Science, and Engineering of Programming, 4(3):11. AOSA
Verano Merino, M, Vinju, J & van der Storm, T 2020, ' Bacatá: Notebooks for DSLs, Almost for Free ', The Art, Science, and Engineering of Programming, vol. 4, no. 3, 11 . https://doi.org/10.22152/programming-journal.org/2020/4/11
The Art, Science, and Engineering of Programming, 4(3):11
The Art, Science, and Engineering of Programming, 4(3):11. AOSA Inc.
Verano Merino, M, Vinju, J & van der Storm, T 2020, ' Bacatá: Notebooks for DSLs, Almost for Free ', The Art, Science, and Engineering of Programming, vol. 4, no. 3, 11 . https://doi.org/10.22152/programming-journal.org/2020/4/11
The Art, Science, and Engineering of Programming, 4(3):11
The Art, Science, and Engineering of Programming, 4(3):11. AOSA Inc.
Copyright © 2020, arXiv, All rights reserved. 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 ric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4322c01907d7dc95db8ebdd15cbd1e9
https://research.rug.nl/en/publications/95399be8-64d8-4dbb-a6ac-683343727fbc
https://research.rug.nl/en/publications/95399be8-64d8-4dbb-a6ac-683343727fbc
Autor:
Rodin Aarssen, Tijs van der Storm
Publikováno v:
PEPM 2020: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020, 27-37
STARTPAGE=27;ENDPAGE=37;TITLE=PEPM 2020
PEPM@POPL
STARTPAGE=27;ENDPAGE=37;TITLE=PEPM 2020
PEPM@POPL
Many metaprogramming tasks, such as refactorings, automated bug fixing, or large-scale software renovation, require high-fidelity source code transformations -- transformations which preserve comments and layout as much as possible. Abstract syntax t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13dc56aaa6037fa81ded0c48cf4ee45d
https://research.rug.nl/en/publications/829c095c-8311-40df-8a4c-0dd0471c1e36
https://research.rug.nl/en/publications/829c095c-8311-40df-8a4c-0dd0471c1e36
Publikováno v:
Onward! 2019: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019, 46-61
STARTPAGE=46;ENDPAGE=61;TITLE=Onward! 2019
Onward!
STARTPAGE=46;ENDPAGE=61;TITLE=Onward! 2019
Onward!
Relational model finding is a successful technique which has been used in a wide range of problems during the last decade. This success is partly due to the fact that many problems contain relational structures which can be explored using relational
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6db5cc653c9c6d32a15985a78a490541
https://research.rug.nl/en/publications/d45bef44-a3b2-43e4-9b0a-e0d61daf35dd
https://research.rug.nl/en/publications/d45bef44-a3b2-43e4-9b0a-e0d61daf35dd
Publikováno v:
AGERE!@SPLASH
AGERE 2019-Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019, 21-30
STARTPAGE=21;ENDPAGE=30;TITLE=AGERE 2019-Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019
AGERE 2019-Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019, 21-30
STARTPAGE=21;ENDPAGE=30;TITLE=AGERE 2019-Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019
In high-throughput, distributed systems, such as large-scale banking infrastructure, synchronization between actors becomes a bottle-neck in high-contention scenarios. This results in delays for users, and reduces opportunities for scaling such syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cb36fc99432b76ac487653653e547bb
https://ir.cwi.nl/pub/29208
https://ir.cwi.nl/pub/29208
Publikováno v:
Proceedings-19th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2019
SCAM
SCAM
When we designed the first version of Rascal in 2009, we jokingly promised ourselves to only write a single paper on the language itself, and see it as vehicle for research from then on, - that one paper became the SCAM 2009 article, now awarded with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13fd79bc4487f5e86b6f6969b82ff0e9
https://ir.cwi.nl/pub/29278
https://ir.cwi.nl/pub/29278