Abstract. A \linearized" scheme of polyvariant specialization for imperative languages is described in the paper. The scheme is intended for increasing e ciency of specializat...
Is there one logical de nition of diagnosis? In this paper I argue that the answer to this question is \no". This paper is about the pragmatics of using logic for diagnosis w...
Marco Gori Dipartimento di Ingegneria deU'Informazione Universita di Siena Via Roma 56 53100 Siena, Italy Alessandro Sperduti Dipartimento di Informatica Universita di Pisa C...
d abstract) Diego Calvanese1 , Giuseppe De Giacomo1 , Maurizio Lenzerini1 , Moshe Y. Vardi2 1 Universit`a di Roma “La Sapienza” Dip. di Informatica e Sistemistica via Salaria 1...
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...