Main menu
You are here
Publications
Export 3 results:
Filters: Keyword is Functional-logic Programming and Author is Giovanni Bacci [Clear All Filters]
, “An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages”, Università di Udine, 2012.
, “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.
, “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.