Výsledky vyhledávání - "Sebastian Erdweg"

Persistent software transactional memory in Haskell

Autor: Nicolas Krauter, Sebastian Erdweg, Peter J. Braam, André Brinkmann, Reza Salkhordeh, Patrick Raaf

Publikováno v: Proceedings of the ACM on Programming Languages. 5:1-29

Emerging persistent memory in commodity hardware allows byte-granular accesses to persistent state at memory speeds. However, to prevent inconsistent state in persistent memory due to unexpected system failures, different write-semantics are required

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9714236bba5cd404db48073f0d2e6839
https://doi.org/10.1145/3473568

Zobrazit plný text záznamu

A systematic approach to deriving incremental type checkers

Autor: André Pacak, Tamás Szabó, Sebastian Erdweg

Publikováno v: Proceedings of the ACM on Programming Languages. 4:1-28

Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ec9b7071ea8f5aa2b15195364ccba4e4
https://doi.org/10.1145/3428195

Zobrazit plný text záznamu

Concise, type-safe, and efficient structural diffing

Autor: Sebastian Erdweg, André Pacak, Tamás Szabó

Publikováno v: PLDI

A structural diffing algorithm compares two pieces of tree-shaped data and computes their difference. Existing structural diffing algorithms either produce concise patches or ensure type safety, but never both. We present a new structural diffing alg

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::33d4ccfdb9a882cf2bae54b5c354184d
https://doi.org/10.1145/3453483.3454052

Zobrazit plný text záznamu

Incremental whole-program analysis in Datalog with lattices

Autor: Gábor Bergmann, Tamás Szabó, Sebastian Erdweg

Publikováno v: PLDI

Incremental static analyses provide up-to-date analysis results in time proportional to the size of a code change, not the entire code base. This promises fast feedback to programmers in IDEs and when checking in commits. However, existing incrementa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::47288edf260c63e59808ae86d7182348
https://doi.org/10.1145/3453483.3454026

Zobrazit plný text záznamu

Sound and reusable components for abstract interpretation

Autor: Sven Keidel, Sebastian Erdweg

Publikováno v: Proceedings of the ACM on Programming Languages. 3:1-28

interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::89abcd58c1cdf879224dbb39d7c394d7
https://doi.org/10.1145/3360602

Zobrazit plný text záznamu

A Systematic Approach to Abstract Interpretation of Program Transformations

Autor: Sven Keidel, Sebastian Erdweg

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030393212
VMCAI

interpretation is a technique to define sound static analyses. While abstract interpretation is generally well-understood, the analysis of program transformations has not seen much attention. The main challenge in developing an abstract interpreter f

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ee96c9e54f4c606e0f206e89bf98be8f
https://doi.org/10.1007/978-3-030-39322-9_7

Zobrazit plný text záznamu

Versatile event correlation with algebraic effects

Autor: Sebastian Erdweg, Nada Amin, Oliver Bračevac, Patrick Eugster, Mira Mezini, Guido Salvaneschi

Publikováno v: Proceedings of the ACM on Programming Languages, 2(ICFP)

We present the first language design to uniformly express variants of n -way joins over asynchronous event streams from different domains, e.g., stream-relational algebra, event processing, reactive and concurrent programming. We model asynchronous r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e9e39970a190756584999430ef9f7aa
https://doi.org/10.1145/3236762

Zobrazit plný text záznamu

Exploration of language specifications by compilation to first-order logic

Autor: Mira Mezini, Michael Raulf, Sebastian Erdweg, Sylvia Grewe, André Pacak

Publikováno v: Science of Computer Programming, 155

Exploration of language specifications helps to discover errors and inconsistencies early during the development of a programming language. We propose exploration of language specifications via application of existing automated first-order theorem pr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7defde1266169d5a8cfc1df438f98952
https://doi.org/10.1016/j.scico.2017.08.001

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání