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

TOTAL DOCUMENTS

15
(FIVE YEARS 15)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

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

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 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

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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document