Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 17)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030684457, 9783030684464

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing Your (Static Analysis) Truths

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_14 ◽

2021 ◽

pp. 271-292

Author(s):

Ignacio Casso ◽

José F. Morales ◽

P. López-García ◽

Manuel V. Hermenegildo

Keyword(s):

Static Analysis

Download Full-text

Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_11 ◽

2021 ◽

pp. 210-227

Author(s):

Mario Wenzel ◽

Stefan Brass

Keyword(s):

Finite State Machines ◽

State Machines ◽

Download Full-text

Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_17 ◽

2021 ◽

pp. 329-344

Author(s):

Paul Tarau

Keyword(s):

Intuitionistic Logic ◽

Download Full-text

Reasoning in the Theory of Heap: Satisfiability and Interpolation

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_9 ◽

2021 ◽

pp. 173-191

Author(s):

Zafer Esen ◽

Philipp Rümmer

Download Full-text

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_10 ◽

2021 ◽

pp. 192-209

Author(s):

Roberto Amadini ◽

Graeme Gange ◽

Peter Schachte ◽

Harald Søndergaard ◽

Peter J. Stuckey

Keyword(s):

Symbolic Execution ◽

Algorithm Selection ◽

Dynamic Symbolic Execution ◽

Preliminary Study ◽

Download Full-text

Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_3 ◽

2021 ◽

pp. 56-73 ◽

Author(s):

Kentaro Kikuchi ◽

Takahito Aoto

Keyword(s):

Rewriting Systems

Download Full-text

Slicing Unconditional Jumps with Unnecessary Control Dependencies

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_15 ◽

2021 ◽

pp. 293-308

Author(s):

Carlos Galindo ◽

Sergio Pérez ◽

Josep Silva

Download Full-text

Symbolic Computation in Maude: Some Tapas

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_1 ◽

2021 ◽

pp. 3-36

Author(s):

José Meseguer

Keyword(s):

Symbolic Computation

Download Full-text

slepice: Towards a Verified Implementation of Type Theory in Type Theory

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_7 ◽

2021 ◽

pp. 133-150

Author(s):

František Farka

Keyword(s):

Download Full-text

Terminating Non-disjoint Combined Unification

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_6 ◽

2021 ◽

pp. 113-130

Author(s):

Serdar Erbatur ◽

Andrew M. Marshall ◽

Christophe Ringeissen

Download Full-text