BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Estonia
1 × France
1 × India
1 × Italy
1 × Japan
1 × Poland
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Germany
2 × Portugal
2 × Sweden
3 × Spain
Collaborated with:
M.Alpuente G.Vidal C.Palamidessi W.H.Winsborough M.Codish K.Marriott D.Ballis C.Olarte G.Moreno P.J.Iranzo P.Hicks F.Manzo M.Baggi F.Valencia D.Romero F.J.Correa A.Mora J.Piris M.J.Ramírez M.J.Ramis G.Levi M.Martelli M.Comini S.Escobar S.Lucas E.Albert
Talks about:
program (15) logic (11) constraint (7) function (6) concurr (6) analysi (5) equat (5) narrow (4) transform (3) increment (3)

Person: Moreno Falaschi

DBLP DBLP: Falaschi:Moreno

Facilitated 2 volumes:

PPDP 2015Ed
WSA 1993Ed

Contributed to:

PEPM 20102010
PPDP 20092009
ICLP 20072007
SEFM 20062006
ESOP 20032003
LOPSTR 20022002
FLOPS 19991999
SAS 19981998
ALP/HOA 19971997
PEPM 19971997
ESOP 19961996
JICSLP 19961996
ALP 19941994
ICALP 19931993
ILPS 19931993
PLILP 19931993
PLILP 19921992
WSA 19921992
ICLP 19911991
PLILP 19911991
ICLP/SPL 19881988

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.