Research Output

Filter
Article
2020

Actris: Session-type based reasoning in separation logic

Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Citations (Scopus)
26 Downloads (Pure)

Elaborating dependent (co)pattern matching: No pattern left behind

Cockx, J. & Abel, A., 2020, In : Journal of Functional Programming. 30, e2.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
37 Downloads (Pure)

FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

Smits, J., Wachsmuth, G. & Visser, E., 2020, In : Journal of Computer Languages. 57, p. 1-39 39 p., 100924.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
24 Downloads (Pure)

Leibniz equality is isomorphic to Martin-Löf identity, parametrically

Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 2020, In : Journal of Functional Programming. 30, p. 1-14 14 p., e17.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris

Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, ICFP, p. 114:1 - 114:29 29 p., 114.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)
2019

Executable component-based semantics

Binsbergen, L. T. V., Mosses, P. D. & Sculthorpe, N., 4 Jan 2019, In : Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
7 Downloads (Pure)

Iron: Managing obligations in higher-order concurrent separation logic

Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L., 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 65:1-65:30 30 p., 65.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
60 Downloads (Pure)

Lessons learned from developing mbeddr: a case study in language engineering with MPS

Völter, M., Kolb, B., Szabó, T., Ratiu, D. & van Deursen, A., 2019, In : Software and Systems Modeling. 18, 1, p. 585-630 46 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
6 Citations (Scopus)
252 Downloads (Pure)

Software meta-language engineering and CBS

Mosses, P. D., 30 Jan 2019, In : Journal of Computer Languages. 50, p. 39-48 10 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
5 Downloads (Pure)
2018

Exploration of language specifications by compilation to first-order logic

Grewe, S., Erdweg, S., Pacak, A., Raulf, M. & Mezini, M., 2018, In : Science of Computer Programming. 155, p. 146-172 27 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2 Citations (Scopus)
4 Downloads (Pure)

Incrementalizing Lattice-Based Program Analyses in Datalog

Szabo, T., Bergmann, G., Erdweg, S. & Voelter, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-29 29 p., 139.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
10 Citations (Scopus)
25 Downloads (Pure)

Intrinsically-Typed Definitional Interpreters for Imperative Languages

Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
64 Downloads (Pure)

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Jung, R., Krebbers, R., Jourdan, J-H., Bizjak, A., Birkedal, L. & Dreyer, D., 2018, In : Journal of Functional Programming. 28, p. 1-73 73 p., e20.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
31 Citations (Scopus)
22 Downloads (Pure)

MoSeL: A general, extensible modal framework for interactive proofs in separation logic

Krebbers, R., Jourdan, J-H., Jung, R., Tassarotti, J., Kaiser, J-O., Timany, A., Charguéraud, A. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 77:1-77:30 30 p., 77.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
15 Downloads (Pure)

Mtac2: Typed tactics for backward reasoning in Coq

Kaiser, J-O., Ziliani, B., Krebbers, R., Régis-Gianas, Y. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 78:1-78:31 31 p., 78.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
19 Downloads (Pure)

PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Konat, G., Steindorfer, M., Erdweg, S. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 2, 3, p. 1-31 31 p., 9.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
64 Downloads (Pure)

RustBelt: securing the foundations of the rust programming language

Jung, R., Jourdan, J-H., Krebbers, R. & Dreyer, D., Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 66:1-66:34 34 p., 66.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
130 Downloads (Pure)

Scopes as Types

van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-30 30 p., 114.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
117 Downloads (Pure)

Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 3, 3, p. 1-26 26 p., 13.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
39 Downloads (Pure)

Versatile Event Correlation with Algebraic Effects

Bračevac, O., Amin, N., Salvaneschi, G., Erdweg, S., Eugster, P. & Mezini, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-31 31 p., 67.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
19 Downloads (Pure)
2017

A Module-System Discipline for Model-Driven Software Development

Erdweg, S. & Ostermann, K., 2017, In : Art, Science, and Engineering of Programming. 1, 2, p. 1-28 28 p., 9.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
18 Downloads (Pure)

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)

Harkes, D. C. & Visser, E., 2017, In : Dagstuhl Artifacts Series. 3, 1, p. 1:1-1:2 2 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
9 Downloads (Pure)
2016

Sound Type-Dependent Syntactic Language Extension

Lorenzen, F. & Erdweg, S., 2016, In : ACM SIGPLAN Notices. 51, 1, p. 204-216 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
32 Downloads (Pure)
2015

Evaluating and comparing language workbenches: Existing results and benchmarks for the future

Erdweg, S., van der Storm, T., Völter, M., Tratt, L., Bosman, R., Cook, W. R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, G., Molina, P. J., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, V., Visser, E., Van Der Vlist, K. & 2 others, Wachsmuth, G. & Van Der Woning, J., 1 Dec 2015, In : Computer Languages, Systems and Structures. 44, p. 24-47 24 p.

Research output: Contribution to journalArticleScientificpeer-review

70 Citations (Scopus)

Understanding software through linguistic abstraction

Visser, E., 1 Jan 2015, In : Science of Computer Programming. 97, P1, p. 11-16 6 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Citation (Scopus)
21 Downloads (Pure)
2014

Language Design with the Spoofax Language Workbench

Wachsmuth, G. H., Konat, G. D. P. & Visser, E., 2014, In : IEEE Software. 31, 5, p. 35-43 9 p.

Research output: Contribution to journalArticleScientificpeer-review

17 Citations (Scopus)