Programming Logic and Semantics

Research output

Research output per year 2009 2012 2013 2014 2015 2016 2017 2022

• 65 Article in proceedings
• 39 Journal article
• 23 Conference article
• 11 Book chapter
• 22 More
  • 9 Ph.D. thesis
  • 6 Report
  • 3 Paper
  • 1 Book
  • 1 Conference abstract for conference
  • 1 Editorial
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2022

  Modal FRP for all: Functional reactive programming without space leaks in Haskell

  Bahr, P., 26 Dec 2022, In: Journal of Functional Programming. 32, e15.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Productivity 100%
  • Ecosystems 67%
  • Computer programming languages 57%
  • Data storage equipment 38%
• 2021

  A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

  Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, In: Logical Methods in Computer Science. 17, 1, p. 1 20 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  • Sound 100%
  • Acoustic waves 83%
  • Communication 32%
  • Distributed Systems 20%
  • Terminate 20%
• 2020

  Calculating Correct Compilers II: Return of the Register Machines

  Bahr, P. & Hutton, G., 20 Aug 2020, In: Journal of Functional Programming. 30, e25.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Specifications 100%

• Denotational semantics for guarded dependent type theory

  Bizjak, A. & Møgelberg, R. E., Apr 2020, In: Mathematical Structures in Computer Science. 30, 4, p. 342-378

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Denotational Semantics 100%
  • Type Theory 85%
  • Clocks 65%
  • Presheaves 60%
  • Semantics 52%

• Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory

  Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 17:1–17:31 31 p., 6278.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Denotational Semantics 100%
  • Type Theory 85%
  • Clocks 65%
  • Semantics 52%
  • Dependent 51%
• 2019

  Modal dependent type theory and dependent right adjoints

  Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., Dec 2019, In: Mathematical Structures in Computer Science. 21 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Type Theory 100%
  • Semantics 61%
  • Dependent 59%
  • Syntax 37%
  • Family 18%
• 2018

  Choreographies, logically

  Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67 17 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Choreography 100%
  • Semantics 78%
  • Proof Theory 36%
  • Distributed Systems 33%
  • Reasoning 27%

• Convergence in infinitary term graph rewriting systems is simple

  Bahr, P., 9 Aug 2018, In: Mathematical Structures in Computer Science. p. 1-52

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Graph Rewriting 100%
  • Term Rewriting 92%
  • Rewriting Systems 86%
  • Acoustic waves 26%
  • Term 23%

• Denotational semantics of recursive types in synthetic guarded domain theory

  Møgelberg, R. E. & Paviotti, M., 15 May 2018, In: Mathematical Structures in Computer Science. 46 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

• On the boundary between decidability and undecidability of asynchronous session subtyping

  Bravetti, M., Carbone, M. & Zavattaro, G., 2018, In: Theoretical Computer Science. 722, p. 19-51 33 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Computability and decidability 100%
  • Undecidability 85%
  • Decidability 74%
  • Fragment 72%
  • Communication 50%
• 2017

  Compiling a 50-year journey

  Hutton, G. & Bahr, P., 20 Sep 2017, In: Journal of Functional Programming. 27, 11 p., 20.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Specifications 100%

• Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain

  Bahr, P. & Axelsson, E., 4 Apr 2017, In: Science of Computer Programming. 137, p. 63-97

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Acoustic waves 100%

• Multiparty session types as coherence proofs

  Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Communication 100%

• Replication, refinement & reachability: complexity in dynamic condition-response graphs

  Debois, S., Hildebrandt, T. T. & Slaats, T., 21 Sep 2017, In: Acta Informatica. p. 1-32 32 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Formal languages 100%
  • Information systems 65%
  • Semantics 54%
  • Specifications 52%

• The Independence of Markov's Principle in Type Theory

  Coquand, T. & Mannaa, B., 15 Aug 2017, In: Logical Methods in Computer Science. 13, 3, p. 1-28

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Type Theory 100%
  • Independence 79%
  • Cantor 39%
  • Normalization 17%
  • Sheaves 17%

• Undecidability of asynchronous session subtyping

  Bravetti, M., Carbone, M. & Zavattaro, G., 2017, In: Information and Computation. 256, p. 300-320

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Computability and decidability 100%
  • Undecidability 85%
  • Network protocols 50%
  • Binary 27%
  • Communication Protocol 26%
• 2016

  Foundations of Session Types and Behavioural Contracts

  Huttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Danielou, P-M., Mostrous, D., Padovani, L., Rabara, A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 2016, In: A C M Computing Surveys. 49, 1, p. 1 16 p., 3.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Software Components 100%
  • Distributed Computation 84%
  • Communication Protocol 83%
  • Concurrent 63%
  • Type Systems 59%

• Multiparty Asynchronous Session Types

  Honda, K., Yoshida, N. & Carbone, M., 2016, In: Journal of the ACM. 63, 1, p. 1 67 p., 9.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Communication 100%
  • Computer programming languages 36%
  • Software engineering 32%

• Psi-calculi in Isabelle

  Bengtson, J., Parrow, J. & Weber, T., 13 Jan 2016, In: Journal of Automated Reasoning. 56, 1, p. 1-47 1 p., 1.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Mechanization 100%
  • Binders 71%
  • Calculus 60%
  • Semantics 52%
  • π-calculus 34%

• Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

  Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  • Liveness 100%
  • Recursion 71%
  • Labels 62%
  • Type Systems 56%
  • Message passing 39%
• 2015

  A model of guarded recursion with clock synchronisation

  Bizjak, A. & Møgelberg, R. E., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 83-101

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Clock Synchronization 100%
  • Recursion 53%
  • Clocks 46%
  • Synchronization 43%
  • Calculus 43%

• A Model of PCF in Guarded Type Theory

  Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 333-349

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Type Theory 100%
  • Recursion 87%
  • Reasoning 34%
  • Model 29%
  • Semantics 24%

• Cut elimination in multifocused linear logic

  Guenot, N. & Brock-Nannestad, T., 2015, In: Electronic Proceedings in Theoretical Computer Science. EPTCS. 176, p. 24-33 10 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

• Declarative event based models of concurrency and refinement in psi-calculi

  Normann, H., Johansen, C. & Hildebrandt, T., 2015, In: Journal of Logic and Algebraic Programming. 85, 3, p. 368-398 30 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Concurrency 100%
  • Process Calculi 92%
  • Diamonds 82%
  • Refinement 72%
  • Calculus 65%
• 2014

  Declarative Modeling–An Academic Dream or the Future for BPM?

  Reijers, H., Slaats, T. & Stahl, C., 2014, In: Lecture Notes in Computer Science. 8094, p. 307-322 16 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Hybrid Approach 100%
  • Modeling 91%
  • Tool Support 59%
  • Use Case 45%
  • Paradigm 34%

• Linear usage of state

  Møgelberg, R. E. & Staton, S., 25 Mar 2014, In: Logical Methods in Computer Science. 10, 1

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Preface

  Cattani, G. L., Hildebrandt, T. & Varacca, D., 2014, In: Theoretical Computer Science. 546, p. 1-2 2 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research

• The Enriched Effect Calculus: Syntax and Semantics

  Møgelberg, R. E., Simpson, A. & Egger, J., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Calculi 100%
  • Syntax 99%
  • Semantics 87%
  • Calculus 81%
  • Linear Logic 33%

• Verifying Voting Schemes

  Schürmann, C., Beckert, B., Gore, R., Bormer, T. & Wang, J., Apr 2014, In: Journal of Information Security and Applications. 19, 2, p. 115-129

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• 2013

  A verification environment for bigraphs

  Perrone, G. D., Debois, S. & Hildebrandt, T., 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Big Red: A Development Environment for Bigraphs

  Faithfull, A. J., Perrone, G. D. & Hildebrandt, T., 28 Sep 2013, In: E A S S T Electronic Communications. 61, 5 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Reactive Systems 100%
  • Model Checking 77%
  • Model checking 72%
  • Integrate 72%
  • Vision 70%

• Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs

  Hildebrandt, T., Mukkamala, R. R., Slaats, T. & Zanitti, F., 2013, In: Journal of Logic and Algebraic Programming. 82, p. 164–185

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming

  Carbone, M. & Montesi, F., 2013, In: A C M / S I G P L A N Notices. 48, 1, p. 263-274

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Dynamic Newton-Puiseux Theorem

  Mannaa, B. & Coquand, T., 24 Apr 2013, In: J. Log. Anal..

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

• Intensional type theory with guarded recursive types qua fixed points on universes

  Møgelberg, R. E. & Birkedal, L., 2013, In: Annual Symposium on Logic in Computer Science. p. 213-222 10 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• 2012

  First steps in synthetic guarded domain theory: step-indexing in the topos of trees

  Birkedal, L., Møgelberg, R. E., Schwinghammer, J. & Støvring, K., 3 Oct 2012, In: Logical Methods in Computer Science. 8, 4

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Linear Logical Voting Protocols

  DeYoung, H. & Schürmann, C., 2012, In: Lecture Notes in Computer Science. 7187, p. 53-70

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Voting 100%
  • Specification 70%
  • Network protocols 53%
  • Specifications 51%
  • Text 49%

• Linear-use CPS translations in the enriched effect calculus

  Møgelberg, R. E., Simpson, A. & Egger, J., 2012, In: Logical Methods in Computer Science. 8, 4

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Structured Communication-Centered Programming for Web Services

  Carbone, M., Honda, K. & Yoshida, N., 2012, In: A C M Transactions on Programming Languages and Systems. 34 (2), 8, 78 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • WSDL 100%
  • Web services 65%
  • Communication 35%