E-LIB Suche - Ergebnisse für: Erdweg, Sebastian

1

Interactive Debugging of Datalog Programs:

Pacak, André ; Erdweg, Sebastian
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 745-772 , 2023

2

Combinator-Based Fixpoint Algorithms for Big-Step Abstract ..:

Keidel, Sven ; Erdweg, Sebastian ; Hombücher, Tobias
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 955-981 , 2023

Link: https://doi.org/10.1145/..

3

Incremental Processing of Structured Data in Datalog:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Pacak, André ; Szabó, Tamás ; Erdweg, Sebastian - p. 20-32 , 2022

Link: https://dl.acm.org/doi/1..

4

Persistent software transactional memory in Haskell:

Krauter, Nicolas ; Raaf, Patrick ; Braam, Peter...
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

Link: https://dl.acm.org/doi/1..

5

Incremental whole-program analysis in Datalog with lattices:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Szabó, Tamás ; Erdweg, Sebastian ; Bergmann, Gábor - p. 1-15 , 2021

Link: https://dl.acm.org/doi/1..

6

Concise, type-safe, and efficient structural diffing:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Erdweg, Sebastian ; Szabó, Tamás ; Pacak, André - p. 406-419 , 2021

Link: https://dl.acm.org/doi/1..

7

Persistent software transactional memory in Haskell:

Krauter, Nicolas ; Raaf, Patrick ; Braam, Peter...
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

8

Co-Contextual Type Systems: Contextless Deductive Reasoning..:

Kuci, Edlira , 2020

Link: https://nbn-resolving.de..

9

A systematic approach to deriving incremental type checkers:

Pacak, André ; Erdweg, Sebastian ; Szabó, Tamás
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

Link: https://doi.org/10.1145/..

10

A Systematic Approach to Abstract Interpretation of Program..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Keidel, Sven ; Erdweg, Sebastian - p. 136-157 , 2020

Link: https://doi.org/10.1007/..

11

A systematic approach to deriving incremental type checkers:

Pacak, André ; Erdweg, Sebastian ; Szabó, Tamás
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

Link: https://dl.acm.org/doi/1..

12

Automating Type Soundness Proofs for Domain-Specific Langua..:

Grewe, Sylvia , 2019

Link: https://nbn-resolving.de..

13

Sound and reusable components for abstract interpretation:

Keidel, Sven ; Erdweg, Sebastian
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-28 , 2019

Link: https://dl.acm.org/doi/1..

14

Language-integrated privacy-aware distributed queries:

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel...
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-30 , 2019

Link: https://doi.org/10.1145/..

15

Language-integrated privacy-aware distributed queries:

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel...
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-30 , 2019

Link: https://dl.acm.org/doi/1..