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

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319631387, 9783319631394
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Verification of Time-Aware Business Processes Using Constrained Horn Clauses

2017 ◽  
pp. 38-55
Author(s):  
Emanuele De Angelis ◽  
Fabio Fioravanti ◽  
Maria Chiara Meo ◽  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Business Processes ◽  
Horn Clauses ◽  
Time Aware

scholarly journals Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms

2017 ◽  
pp. 3-20 ◽  
Author(s):  
María Alpuente ◽  
Angel Cuenca-Ortega ◽  
Santiago Escobar ◽  
José Meseguer
Keyword(s):  
Partial Evaluation

scholarly journals MiniZinc with Strings

2017 ◽  
pp. 59-75 ◽  
Author(s):  
Roberto Amadini ◽  
Pierre Flener ◽  
Justin Pearson ◽  
Joseph D. Scott ◽  
Peter J. Stuckey ◽  
...  

scholarly journals Slicing Concurrent Constraint Programs

2017 ◽  
pp. 76-93 ◽  
Author(s):  
Moreno Falaschi ◽  
Maurizio Gabbrielli ◽  
Carlos Olarte ◽  
Catuscia Palamidessi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document