@article {BacciC10conc,
	title = {A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry},
	number = {6/2010},
	year = {2010},
	publisher = {Dipartimento di Matematica e Informatica, Universit{\`a} di Udine},
	abstract = {This work is motivated by the fact that a {\textquotedblleft}compact{\textquotedblright} semantics for functional logic languages, which is essential for the development of efficacious semantics-based program manipulation tools (e.g. automatic program analyzers and debuggers), does not exist. The operational or the rewriting logic semantics that are most commonly considered in func- tional logic are unnecessarily oversized, as they contains many {\textquotedblleft}semantically useless{\textquotedblright} elements that can be retrieved from a smaller set of {\textquotedblleft}basic{\textquotedblright} elements. Therefore, in this article, we present a compressed, goal-independent bottom-up fixpoint semantics that is correct and minimal w.r.t. answers computed for Curry expressions.
We believe that the compactness of the semantics makes it particularly suitable for applications. Actually, our semantics can be finite whereas the big-step semantics is generally not, and even when both semantics are infinite, the fixpoint computation of our semantics produces fewer elements at each step.},
	keywords = {Abstract Interpretation, call-time choice semantics, Functional-logic Programming},
	url = {http://www.dimi.uniud.it/comini/Papers/},
	author = {Giovanni Bacci and Marco Comini}
}
