some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 11, ISSUE 1


1. A Hoare logic for the coinductive trace-based big-step semantics of While
  Keiko Nakata and Tarmo Uustalu


2. Permission-Based Separation Logic for Multithreaded Java Programs
  Afshin Amighi, Christian Haack, Marieke Huisman and Clément Hurlin


3. Monads need not be endofunctors
  Thorsten Altenkirch, James Chapman and Tarmo Uustalu


4. On the relative proof complexity of deep inference via atomic flows
  Anupam Das


5. Program Logics for Homogeneous Generative Run-Time Meta-Programming
  Martin Berger and Laurence Tratt


6. Extracting verified decision procedures: DPLL and Resolution
  Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg and Monika Seisenberger


7. Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
  Manfred Schmidt-Schauß, David Sabel and Elena Machkasova


8. The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
  Dag Normann


9. Complexity of Problems of Commutative Grammars
  Eryk Kopczynski


10. Weak Cat-Operads
  Kosta Dosen and Zoran Petric


11. Effective zero-dimensionality for computable metric spaces
  Robert Kenny


12. The Computational Complexity of Propositional Cirquent Calculus
  Matthew Steven Bauer


13. Positive Inductive-Recursive Definitions
  Neil Ghani, Fredrik Nordvall Forsberg and Lorenzo Malatesta


14. Bialgebraic Semantics for Logic Programming
  Filippo Bonchi and Fabio Zanasi


15. High-level Counterexamples for Probabilistic Automata
  Ralf Wimmer, Nils Jansen, Erika Ábrahám and Joost-Pieter Katoen


16. Ranking Templates for Linear Loops
  Jan Leike and Matthias Heizmann


17. Domain Representations Induced by Dyadic Subbases
  Hideki Tsuiki and Yasuyuki Tsukamoyo


18. Modelling MAC-Layer Communications in Wireless Systems
  Andrea Cerone, Matthew Hennessy and Massimo Merro


19. Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
  Jakub Gajarsky and Petr Hlineny


20. Aspect-oriented linearizability proofs
  Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin and Viktor Vafeiadis


Creative Commons