Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Casper Bach Poulsen"'
Autor:
Cas Van der Rest, Casper Bach Poulsen
Publikováno v:
Proceedings of the ACM on Programming Languages, 7
Algebraic effects and handlers is an increasingly popular approach to programming with effects. An attraction of the approach is its modularity: effectful programs are written against an interface of declared operations, which allows the implementati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbdde3ad9b494a9039ce76e5eb56bb7a
https://doi.org/10.1145/3571255
https://doi.org/10.1145/3571255
Publikováno v:
Proceedings of the ACM on Programming Languages, 6(OOPSLA1)
Code completion is an editor service in IDEs that proposes code fragments for the user to insert at the caret position in their code. Code completion should be sound and complete. It should be sound, such that it only proposes fragments that do not v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::858f94d0257015756d249b10ba8dcf8e
http://resolver.tudelft.nl/uuid:a5b056bb-c633-4195-acac-b9a35e2c5387
http://resolver.tudelft.nl/uuid:a5b056bb-c633-4195-acac-b9a35e2c5387
Publikováno v:
Proceedings of the ACM on Programming Languages, 6(OOPSLA2)
Specifying and mechanically verifying type safe programming languages requires significant effort. This effort can in theory be reduced by defining and reusing pre-verified, modular components. In practice, however, existing approaches to modular mec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::063349af40b918e2849b82f9ccbe3bac
http://resolver.tudelft.nl/uuid:bfb4aaec-3a78-4a58-a788-cfd7e23991ba
http://resolver.tudelft.nl/uuid:bfb4aaec-3a78-4a58-a788-cfd7e23991ba
Autor:
Cas van der Rest, Casper Bach Poulsen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031213137
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55a726d64ecfb5760f999da47698c6bd
https://doi.org/10.1007/978-3-031-21314-4_2
https://doi.org/10.1007/978-3-031-21314-4_2
Publikováno v:
Programming Languages and Systems ISBN: 9783030890506
The development of programming languages can be quite complicated and costly. Hence, much effort has been devoted to the modular definition of language features that can be reused in various combinations to define new languages and experiment with th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37cf1dcff7939ae05649db0698d4eafb
https://doi.org/10.1007/978-3-030-89051-3_11
https://doi.org/10.1007/978-3-030-89051-3_11
Publikováno v:
Proceedings of the ACM on Programming Languages, 4, 1-28
Proceedings of the ACM on Programming Languages, 4(OOPSLA)
Proceedings of the ACM on Programming Languages, 4, OOPSLA, pp. 1-28
Proceedings of the ACM on Programming Languages, 4(OOPSLA)
Proceedings of the ACM on Programming Languages, 4, OOPSLA, pp. 1-28
There is a large gap between the specification of type systems and the implementation of their type checkers, which impedes reasoning about the soundness of the type checker with respect to the specification. A vision to close this gap is to automati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c78da2333093d35e4690d0bf5d305431
http://hdl.handle.net/2066/228333
http://hdl.handle.net/2066/228333
Publikováno v:
CPP
An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languag
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee97b6c0b968560057f12ea7dce29103
http://resolver.tudelft.nl/uuid:913a5c7f-d521-445e-82af-a7771849f964
http://resolver.tudelft.nl/uuid:913a5c7f-d521-445e-82af-a7771849f964
Publikováno v:
Proceedings of the ACM on Programming Languages, 2(ICFP)
Abstract interpretation is a technique for developing static analyses. Yet, proving abstract interpreters sound is challenging for interesting analyses, because of the high proof complexity and proof effort . To reduce complexity and effort, we propo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3ad4aaaecc7d8985bc8f1d8b2816435
http://resolver.tudelft.nl/uuid:605f2cb0-a8c5-4086-aa29-85f38f4db1ed
http://resolver.tudelft.nl/uuid:605f2cb0-a8c5-4086-aa29-85f38f4db1ed
Publikováno v:
Proceedings of the ACM on Programming Languages, 2(POPL)
A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c449986e0011e9d40024c106b015bd66
http://resolver.tudelft.nl/uuid:4dc286fd-af6c-4d6b-a59b-bdf446550aa3
http://resolver.tudelft.nl/uuid:4dc286fd-af6c-4d6b-a59b-bdf446550aa3
Autor:
Peter D. Mosses, Casper Bach Poulsen
Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ac67d2dfcf6811af1781cc16893eb97