You are here

Home

Publications

Export 3 results:
Filters: Keyword is Functional-logic Programming and Author is Giovanni Bacci  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
G. Bacci and Comini, M., “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
G. Bacci and Comini, M., “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.
G. Bacci, “An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages”, Università di Udine, 2012.

created with Drupal | customized by Giovanni Bacci