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

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642322105, 9783642322112
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Declarative Embedding of XQuery in a Functional-Logic Language

2012 ◽  
pp. 42-56
Author(s):  
Jesús M. Almendros-Jiménez ◽  
Rafael Caballero ◽  
Yolanda García-Ruiz ◽  
Fernando Sáenz-Pérez
Keyword(s):  
Functional Logic

scholarly journals Marker-Directed Optimization of UnCAL Graph Transformations

2012 ◽  
pp. 123-138 ◽  
Author(s):  
Soichiro Hidaka ◽  
Zhenjiang Hu ◽  
Kazuhiro Inaba ◽  
Hiroyuki Kato ◽  
Kazutaka Matsuda ◽  
...  
Keyword(s):  
Graph Transformations

scholarly journals Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

2012 ◽  
pp. 73-89 ◽  
Author(s):  
Rafael Caballero ◽  
Adrián Riesco ◽  
Alberto Verdejo ◽  
Narciso Martí-Oliet

scholarly journals A Strategy Language for Graph Rewriting

2012 ◽  
pp. 173-188 ◽  
Author(s):  
Maribel Fernández ◽  
Hélène Kirchner ◽  
Olivier Namet
Keyword(s):  
Graph Rewriting
Load More ...
Sign in / Sign up

Export Citation Format

Share Document