Programming Logic and Semantics

Publikation

Publikationer pr. år 2009 2012 2013 2014 2015 2016 2017 2022

• 65 Konferencebidrag i proceedings
• 39 Tidsskriftartikel
• 23 Konferenceartikel
• 11 Bidrag til bog/antologi
• 22 Mere
  • 9 Ph.d.-afhandling
  • 6 Rapport
  • 3 Paper
  • 1 Bog
  • 1 Konferenceabstrakt til konference
  • 1 Leder
  • 1 Andet bidrag

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2022

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

  Bahr, P., 26 dec. 2022, I: Journal of Functional Programming. 32, e15.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Logical Methods in Computer Science. 17, 1, s. 1 20 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • 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, I: Journal of Functional Programming. 30, e25.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Specifications 100%

• Denotational semantics for guarded dependent type theory

  Bizjak, A. & Møgelberg, R. E., apr. 2020, I: Mathematical Structures in Computer Science. 30, 4, s. 342-378

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Logical Methods in Computer Science. 16, 4, s. 17:1–17:31 31 s., 6278.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Mathematical Structures in Computer Science. 21 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

  Choreographies, logically

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Mathematical Structures in Computer Science. s. 1-52

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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 maj 2018, I: Mathematical Structures in Computer Science. 46 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

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

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • 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, I: Journal of Functional Programming. 27, 11 s., 20.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Specifications 100%

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

  Bahr, P. & Axelsson, E., 4 apr. 2017, I: Science of Computer Programming. 137, s. 63-97

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Acoustic waves 100%

• Multiparty session types as coherence proofs

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Communication 100%

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

  Debois, S., Hildebrandt, T. T. & Slaats, T., 21 sep. 2017, I: Acta Informatica. s. 1-32 32 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Logical Methods in Computer Science. 13, 3, s. 1-28

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

• Undecidability of asynchronous session subtyping

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • 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, I: A C M Computing Surveys. 49, 1, s. 1 16 s., 3.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Journal of the ACM. 63, 1, s. 1 67 s., 9.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

• Psi-calculi in Isabelle

  Bengtson, J., Parrow, J. & Weber, T., 13 jan. 2016, I: Journal of Automated Reasoning. 56, 1, s. 1-47 1 s., 1.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Logical Methods in Computer Science. 12, 1, s. 1-38 38 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • 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, I: Electronic Notes in Theoretical Computer Science. 319, s. 83-101

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Electronic Notes in Theoretical Computer Science. 319, s. 333-349

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

• Cut elimination in multifocused linear logic

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Lecture Notes in Computer Science. 8094, s. 307-322 16 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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, I: Logical Methods in Computer Science. 10, 1

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• Preface

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning

• The Enriched Effect Calculus: Syntax and Semantics

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › 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, I: Journal of Information Security and Applications. 19, 2, s. 115-129

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• 2013

  A verification environment for bigraphs

  Bidragets oversatte titel: Et verifikationsmiljø for bigraferPerrone, G. D., Debois, S. & Hildebrandt, T., 2013, I: Innovations in Systems and Software Engineering. 9, 2, s. 95-104

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• Big Red: A Development Environment for Bigraphs

  Faithfull, A. J., Perrone, G. D. & Hildebrandt, T., 28 sep. 2013, I: E A S S T Electronic Communications. 61, 5 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › 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

  Bidragets oversatte titel: Kontrakter for tværorganisatoriske arbejdsgange som Timed Dynamic Condition Response GraphsHildebrandt, T., Mukkamala, R. R., Slaats, T. & Zanitti, F., 2013, I: Journal of Logic and Algebraic Programming. 82, s. 164–185

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

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

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• Dynamic Newton-Puiseux Theorem

  Mannaa, B. & Coquand, T., 24 apr. 2013, I: J. Log. Anal..

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

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

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › 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 okt. 2012, I: Logical Methods in Computer Science. 8, 4

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• Linear Logical Voting Protocols

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › 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, I: Logical Methods in Computer Science. 8, 4

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• Structured Communication-Centered Programming for Web Services

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

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