Person: Moreno Falaschi

DBLP: Falaschi:Moreno

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2010

2009

2007

2006

2003

2002

1999

1998

1997

1997

1996

1996

1994

1993

1993

1993

1992

1992

1991

1991

1988

Wrote 22 papers:

PEPM-2010-AlpuenteBBF #framework

A fold/unfold transformation framework for rewrite theories extended to CCT (MA, DB, MB, MF), pp. 43–52.

PPDP-2009-FalaschiOP #abstract interpretation #concurrent #constraints #framework #source code

A framework for abstract interpretation of timed concurrent constraint programs (MF, CO, CP), pp. 207–218.

ICLP-2007-FalaschiOPV #concurrent #constraints #declarative #source code

Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.

SEFM-2006-AlpuenteBFR #automation

A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.

ESOP-2003-AlpuenteBCF #functional #logic programming #source code

Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.

LOPSTR-2002-AlpuenteCEFL #functional #source code

Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.

FLOPS-1999-AlpuenteFMV #functional #lazy evaluation #logic programming #source code

A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.

SAS-1998-AlbertAFJV #functional #logic programming

Improving Control in Functional Logic Program Specialization (EA, MA, MF, PJI, GV), pp. 262–277.

ALP-1997-AlpuenteFMV

Safe Folding/Unfolding with Conditional Narrowing (MA, MF, GM, GV), pp. 1–15.

PEPM-1997-AlpuenteFJV #functional #lazy evaluation #logic programming #source code

Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.

ESOP-1996-AlpuenteFV #functional #logic programming #partial evaluation #source code

Narrowing-Driven Partial Evaluation of Functional Logic Programs (MA, MF, GV), pp. 45–61.

JICSLP-1996-FalaschiHW #analysis #concurrent #constraints #source code

Demand Transformation Analysis for Concurrent Constraint Programs (MF, PH, WHW), pp. 333–347.

ALP-1994-AlpuenteFV #analysis #composition #equation #source code

Compositional Analysis for Equational Horn Programs (MA, MF, GV), pp. 77–94.

ICALP-1993-CodishFMW #analysis #concurrent #constraints #logic programming #performance #source code

Efficient Analysis of Concurrent Constraint Logic Programs (MC, MF, KM, WHW), pp. 633–644.

ILPS-1993-AlpuenteFV #analysis #constraints #equation #incremental

Incremental Equational Constraint Analyses (MA, MF, GV), p. 657.

ILPS-1993-MoraPRF #equation #prototype #type system

A Prototype System for Equational Constructive Negation (AM, JP, MJR, MF), p. 638.

PLILP-1993-AlpuenteFRV #approximate #equation #logic programming #optimisation #source code

Narrowing Approximations as an Optimization for Equational Logic Programs (MA, MF, MJR, GV), pp. 391–409.

PLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism

Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.

WSA-1992-CodishFMW #analysis #concurrent #constraints #logic programming #performance #source code

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs (MC, MF, KM, WHW), pp. 35–42.

ICLP-1991-CodishFM #analysis #concurrent #logic programming #source code

Suspension Analysis for Concurrent Logic Programs (MC, MF, KM), pp. 331–345.

PLILP-1991-AlpuenteF #algorithm #constraints #incremental

Narrowing as an Incremental Constraint Satisfaction Algorithm (MA, MF), pp. 111–122.

JICSCP-1988-FalaschiLMP88 #declarative #logic #semantics

A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.