some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Program Logics for Homogeneous Generative Run-Time Meta-Programming

  
Martin Berger and Laurence Tratt

On the relative proof complexity of deep inference via atomic flows

  
Anupam Das

Monads need not be endofunctors

  
Thosten Altenkirch, James Chapman and Tarmo Uustalu

Permission-Based Separation Logic for Multithreaded Java Programs

  
Afshin Amighi, Christian Haack, Marieke Huisman and Clément Hurlin

A Hoare logic for the coinductive trace-based big-step semantics of While

  
Keiko Nakata and Tarmo Uustalu

Stochastic Parity Games on Lossy Channel Systems

  
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr and Sven Sandberg




Logical Methods in Computer Science is an open-access journal, covered by Thompson ISI , SCOPUS, DBLP, Mathematical Reviews and Zentralblatt. Impact factor: 0.443. All journal content is licensed under a Creative Commons license.