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

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030452599, 9783030452605
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Computing Abstract Distances in Logic Programs

2020 ◽  
pp. 57-72
Author(s):  
Ignacio Casso ◽  
José F. Morales ◽  
Pedro López-García ◽  
Roberto Giacobazzi ◽  
Manuel V. Hermenegildo
Keyword(s):  
Logic Programs

scholarly journals An Integrated Approach to Assertion-Based Random Testing in Prolog

2020 ◽  
pp. 159-176
Author(s):  
Ignacio Casso ◽  
José F. Morales ◽  
Pedro López-García ◽  
Manuel V. Hermenegildo
Keyword(s):  
Integrated Approach ◽  
Random Testing

scholarly journals Incremental Analysis of Logic Programs with Assertions and Open Predicates

2020 ◽  
pp. 36-56
Author(s):  
Isabel Garcia-Contreras ◽  
Jose F. Morales ◽  
Manuel V. Hermenegildo
Keyword(s):  
Logic Programs ◽  
Incremental Analysis

scholarly journals A General Framework for Static Cost Analysis of Parallel Logic Programs

2020 ◽  
pp. 19-35
Author(s):  
Maximiliano Klemen ◽  
Pedro López-García ◽  
John P. Gallagher ◽  
José F. Morales ◽  
Manuel V. Hermenegildo
Keyword(s):  
Cost Analysis ◽  
General Framework ◽  
Logic Programs

A Certified Functional Nominal C-Unification Algorithm

2020 ◽  
pp. 123-138 ◽  
Author(s):  
Mauricio Ayala-Rincón ◽  
Maribel Fernández ◽  
Gabriel Ferreira Silva ◽  
Daniele Nantes-Sobrinho
Keyword(s):  
Unification Algorithm

Solving Proximity Constraints

2020 ◽  
pp. 107-122
Author(s):  
Temur Kutsia ◽  
Cleo Pau

Synthesizing Imperative Code from Answer Set Programming Specifications

2020 ◽  
pp. 75-89 ◽  
Author(s):  
Sarat Chandra Varanasi ◽  
Elmer Salazar ◽  
Neeraj Mittal ◽  
Gopal Gupta
Keyword(s):  
Answer Set Programming ◽  
Answer Set
Load More ...
Sign in / Sign up

Export Citation Format

Share Document