1. Article › Scientific › Peer-reviewed
  2. 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

  3. 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

  4. 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 othersWachsmuth, 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

Previous 1...3 4 5 6 7 8 9 Next

ID: 19976