Moreno Falaschi
Moreno Falaschi
Professor of Computer Science
Geverifieerd e-mailadres voor unisi.it
Titel
Geciteerd door
Geciteerd door
Jaar
Declarative modeling of the operational behavior of logic languages
M Falaschi, G Levi, C Palamidessi, M Martelli
Theoretical Computer Science 69 (3), 289-318, 1989
3591989
A model-theoretic reconstruction of the operational semantics of logic programs
M Falaschi, G Levi, M Martelli, C Palamidessi
Information and Computation 103 (1), 86-113, 1993
1421993
Partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 1998
1321998
Suspension analyses for concurrent logic programs
M Codish, M Falaschi, K Marriott
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 649-686, 1994
1051994
A new declarative semantics for logic languages
M Falaschi
Proc. 5th Conf. and Symp., 993-1005, 1988
981988
Specialization of lazy functional logic programs
M Alpuente, M Falaschi, P Julian, G Vidal
ACM Sigplan Notices 32 (12), 151-162, 1997
751997
Automatic verification of timed concurrent constraint programs
M Falaschi, A Villanueva
Theory and Practice of Logic Programming 6 (3), 265-300, 2006
502006
Narrowing-driven partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
European Symposium on Programming, 45-61, 1996
501996
Compositional analysis for concurrent constraint programming
M Falaschi, M Gabbrielli, K Marriott, C Palamidessi
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science†…, 1993
461993
A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses
M Falaschi, G Levi, C Palamidessi
Information and control 60 (1-3), 36-69, 1984
441984
Improving control in functional logic program specialization
E Albert, M Alpuente, M Falaschi, P JuliŠn, G Vidal
International Static Analysis Symposium, 262-277, 1998
421998
Abstract diagnosis of functional programs
M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas
International Workshop on Logic-Based Program Synthesis and Transformation, 1-16, 2002
412002
Local search techniques for scheduling problems: Algorithms and software tool
L Di Gaspero, A Schaerf, M Cadoli, W Slany, M Falaschi
Forum, 2003
402003
Rule-based verification of Web sites
M Alpuente, D Ballis, M Falaschi
International Journal on Software Tools for Technology Transfer 8 (6), 565-585, 2006
392006
Efficient analysis of concurrent constraint logic programs
M Codish, M Falaschi, K Marriott, W Winsborough
International Colloquium on Automata, Languages, and Programming, 633-644, 1993
381993
A rewriting-based framework for web sites verification
M Alpuente, D Ballis, M Falaschi
Electronic Notes in Theoretical Computer Science 124 (1), 41-61, 2005
372005
Rules+ strategies for transforming lazy functional logic programs
M Alpuente, M Falaschi, G Moreno, G Vidal
Theoretical Computer Science 311 (1-3), 479-525, 2004
372004
A transformation system for lazy functional logic programs
M Alpuente, M Falaschi, G Moreno, G Vidal
International Symposium on Functional and Logic Programming, 147-162, 1999
371999
Confluence in concurrent constraint programming
M Falaschi, M Gabbrielli, K Marriott, C Palamidessi
Theoretical Computer Science 183 (2), 281-315, 1997
341997
Confluence in concurrent constraint programming
M Falaschi, M Gabbrielli, K Marriott, C Palamidessi
International Conference on Algebraic Methodology and Software Technology†…, 1995
311995
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20