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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540787686, 9783540787693
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

2008 ◽  
pp. 138-153 ◽  
Author(s):  
Amadeo Casas ◽  
Manuel Carro ◽  
Manuel V. Hermenegildo
Keyword(s):  
Logic Programs

scholarly journals Snapshot Generation in a Constructive Object-Oriented Modeling Language

2008 ◽  
pp. 169-184 ◽  
Author(s):  
Mauro Ferrari ◽  
Camillo Fiorentini ◽  
Alberto Momigliano ◽  
Mario Ornaghi
Keyword(s):  
Object Oriented ◽  
Modeling Language

A Scalable Inclusion Constraint Solver Using Unification

2008 ◽  
pp. 121-137 ◽  
Author(s):  
Ye Zhang ◽  
Flemming Nielson
Keyword(s):  
Constraint Solver

scholarly journals Termination Analysis of Logic Programs Based on Dependency Graphs

2008 ◽  
pp. 8-22 ◽  
Author(s):  
Manh Thang Nguyen ◽  
Jürgen Giesl ◽  
Peter Schneider-Kamp ◽  
Danny De Schreye
Keyword(s):  
Logic Programs ◽  
Termination Analysis ◽  
Dependency Graphs

Towards a Normal Form for Mercury Programs

2008 ◽  
pp. 43-58 ◽  
Author(s):  
François Degrave ◽  
Wim Vanhoof
Keyword(s):  
Normal Form

Denotation by Transformation

2008 ◽  
pp. 90-105 ◽  
Author(s):  
Bernd Braßel ◽  
Jan Christiansen

scholarly journals Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

2008 ◽  
pp. 23-42
Author(s):  
Elvira Albert ◽  
John Gallagher ◽  
Miguel Gómez-Zamalloa ◽  
Germán Puebla
Keyword(s):  
Partial Evaluation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document