Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language

JOURNAL ARTICLE published 26 January 2024 in Logical Methods in Computer Science

Authors: Thomas Powell

JOURNAL ISSUE published 2008 in Logical Methods in Computer Science

Editors: Frank Pfenning

The Size-Change Termination Principle for Constructor Based Languages

JOURNAL ARTICLE published 13 February 2014 in Logical Methods in Computer Science

Authors: Hyvernat Pierre

The Relationship Between Separation Logic and Implicit Dynamic Frames

JOURNAL ARTICLE published 31 July 2012 in Logical Methods in Computer Science

Authors: Matthew J. Parkinson | Alexander J. Summers

FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems

JOURNAL ARTICLE published 26 April 2016 in Logical Methods in Computer Science

Authors: Florent Jacquemard | Luc Segoufin | Jerémie Dimino

JOURNAL ISSUE published 2008 in Logical Methods in Computer Science

Editors: Giuseppe Castagna | Igor Walukiewicz

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

JOURNAL ARTICLE published 28 February 2023 in Logical Methods in Computer Science

Research funded by European Commission (778233)

Authors: Luca Aceto | Ian Cassar | Adrian Francalanza | Anna Ingolfsdottir

Characterising Testing Preorders for Finite Probabilistic Processes

JOURNAL ARTICLE published 28 October 2008 in Logical Methods in Computer Science

Authors: Yuxin Deng | Robert van Glabbeek | Matthew Hennessy | Carroll Morgan

Editors: Andrew Pitts

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

JOURNAL ARTICLE published 3 March 2014 in Logical Methods in Computer Science

Research funded by European Commission (257414) | European Commission (600708)

Authors: Marco Bernardo | Rocco De Nicola | Michele Loreti

Relating Apartness and Bisimulation

JOURNAL ARTICLE published 30 July 2021 in Logical Methods in Computer Science

Authors: Herman Geuvers | Bart Jacobs

A model of actors and grey failures

JOURNAL ARTICLE published 22 November 2023 in Logical Methods in Computer Science

Authors: Laura Bocchi | Julien Lange | Simon Thompson | A. Laura Voinea

Off-line test selection with test purposes for non-deterministic timed automata

JOURNAL ARTICLE published 17 October 2012 in Logical Methods in Computer Science

Authors: Nathalie Bertrand | Thierry Jéron | Amélie Stainer | Moez Krichen

Equality Saturation: A New Approach to Optimization

JOURNAL ARTICLE published 28 March 2011 in Logical Methods in Computer Science

Research funded by National Science Foundation (0644306)

Authors: Ross Tate | Michael Stepp | Zachary Tatlock | Sorin Lerner

JOURNAL ISSUE published 2009 in Logical Methods in Computer Science

Editors: Franz Baader | Martin Giese | Arild Waaler

JOURNAL ISSUE published 2015 in Logical Methods in Computer Science

JOURNAL ISSUE published 2007 in Logical Methods in Computer Science

Positive Inductive-Recursive Definitions

JOURNAL ARTICLE published 27 March 2015 in Logical Methods in Computer Science

Authors: Neil Ghani | Fredrik Nordvall Forsberg | Lorenzo Malatesta

Modal Functional (Dialectica) Interpretation

JOURNAL ARTICLE published 25 October 2021 in Logical Methods in Computer Science

Authors: Dan Hernest | Trifon Trifonov

Proof Theory of Riesz Spaces and Modal Riesz Spaces

JOURNAL ARTICLE published 17 February 2022 in Logical Methods in Computer Science

Research funded by European Commission (678157) | French National Research Agency (ANR-16-CE25-0011)

Authors: Christophe Lucas | Matteo Mio

Synthesis of Computable Regular Functions of Infinite Words

JOURNAL ARTICLE published 29 June 2022 in Logical Methods in Computer Science

Authors: V. Dave | E. Filiot | S. Krishna | N. Lhote