Moreno Falaschi

Moreno Falaschi

Università degli Studi di Siena - Siena / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1809954
University of Siena
person_outline Moreno Falaschi's MOST POPULAR ARTICLES
1-) Declarative modeling of the operational behavior of logic languagesM Falaschi, G Levi, C Palamidessi, M MartelliTheoretical Computer Science 69 (3), 289-318, 19893601989
2-) A model-theoretic reconstruction of the operational semantics of logic programsM Falaschi, G Levi, M Martelli, C PalamidessiInformation and Computation 103 (1), 86-113, 19931471993
3-) Partial evaluation of functional logic programsM Alpuente, M Falaschi, G VidalACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 19981351998
4-) Suspension analyses for concurrent logic programsM Codish, M Falaschi, K MarriottACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 649-686, 19941111994
5-) A new declarative semantics for logic languagesM FalaschiProc. 5th Conf. and Symp., 993-1005, 19881011988