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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030138370, 9783030138387

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multiparty Classical Choreographies

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

10.1007/978-3-030-13838-7_4 ◽

2019 ◽

pp. 59-76 ◽

Cited By ~ 1

Author(s):

Marco Carbone ◽

Luís Cruz-Filipe ◽

Fabrizio Montesi ◽

Agata Murawska

Download Full-text

Proving Program Properties as First-Order Satisfiability

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

10.1007/978-3-030-13838-7_1 ◽

2019 ◽

pp. 3-21 ◽

Cited By ~ 1

Author(s):

Salvador Lucas

Keyword(s):

First Order

Download Full-text

Predicate Specialization for Definitional Higher-Order Logic Programs

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

10.1007/978-3-030-13838-7_8 ◽

2019 ◽

pp. 132-147

Author(s):

Antonis Troumpoukis ◽

Angelos Charalambidis

Keyword(s):

Higher Order ◽

Order Logic ◽

Logic Programs ◽

Higher Order Logic

Download Full-text

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

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

10.1007/978-3-030-13838-7_3 ◽

2019 ◽

pp. 38-55 ◽

Cited By ~ 1

Author(s):

María Alpuente ◽

Angel Cuenca-Ortega ◽

Santiago Escobar ◽

José Meseguer

Download Full-text

An Assertion Language for Slicing Constraint Logic Languages

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

10.1007/978-3-030-13838-7_9 ◽

2019 ◽

pp. 148-165

Author(s):

Moreno Falaschi ◽

Carlos Olarte

Download Full-text

Eliminating Unstable Tests in Floating-Point Programs

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

10.1007/978-3-030-13838-7_10 ◽

2019 ◽

pp. 169-183 ◽

Cited By ~ 7

Author(s):

Laura Titolo ◽

César A. Muñoz ◽

Marco A. Feliú ◽

Mariano M. Moscato

Keyword(s):

Floating Point

Download Full-text

Confluence of CHR Revisited: Invariants and Modulo Equivalence

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

10.1007/978-3-030-13838-7_6 ◽

2019 ◽

pp. 94-111 ◽

Cited By ~ 1

Author(s):

Henning Christiansen ◽

Maja H. Kirkeby

Download Full-text

Compiling Control as Offline Partial Deduction

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

10.1007/978-3-030-13838-7_7 ◽

2019 ◽

pp. 115-131

Author(s):

Vincent Nys ◽

Danny De Schreye

Keyword(s):

Partial Deduction

Download Full-text

Multivariant Assertion-Based Guidance in Abstract Interpretation

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

10.1007/978-3-030-13838-7_11 ◽

2019 ◽

pp. 184-201

Author(s):

Isabel Garcia-Contreras ◽

Jose F. Morales ◽

Manuel V. Hermenegildo

Keyword(s):

Abstract Interpretation

Download Full-text

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

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

10.1007/978-3-030-13838-7_5 ◽

2019 ◽

pp. 77-93

Author(s):

Petros Papapanagiotou ◽

Jacques Fleuriot

Keyword(s):

Linear Logic ◽

Construction Process ◽

Process Composition ◽

Logic Inference

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Multiparty Classical Choreographies

Proving Program Properties as First-Order Satisfiability

Predicate Specialization for Definitional Higher-Order Logic Programs

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

An Assertion Language for Slicing Constraint Logic Languages

Eliminating Unstable Tests in Floating-Point Programs

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Compiling Control as Offline Partial Deduction

Multivariant Assertion-Based Guidance in Abstract Interpretation

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

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