Travelled to:1 × Belgium
1 × Poland
1 × Portugal
1 × Sweden
3 × Germany
3 × Italy
3 × Japan
3 × Spain
5 × USA
5 × United Kingdom
Collaborated with:M.Hanus ∅ A.P.Tolmach A.Jost B.Braßel E.Albert G.Vidal R.Echahed A.Peters S.Johnson Z.M.Ariola A.Middeldorp D.W.Brown S.Chiang M.Nita J.Liu B.Massey F.Steiner
Talks about:logic (14) function (13) narrow (8) strategi (5) program (5) languag (5) evalu (5) need (4) implement (3) condit (3)
Person: Sergio Antoy
DBLP: Antoy:Sergio
Facilitated 1 volumes:
EdContributed to:
20132013
2012
2012
2011200920072006
20062005
2004
2004200420032002200120002000199919971997199719961994
1994199219911991Wrote 29 papers:
- LOPSTR-2013-AntoyJ #compilation #functional #logic
- Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
- PPDP-2013-AntoyJ #question
- Are needed redexes really needed? (SA, AJ), pp. 61–71.
- FLOPS-2012-AntoyP #compilation #functional #logic
- Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
- PADL-2012-AntoyH #contract #functional #logic programming #specification
- Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
- ICLP-J-2011-Antoy #correctness #on the
- On the correctness of pull-tabbing (SA), pp. 713–730.
- PPDP-2009-AntoyH #functional #logic programming #set
- Set functions for functional logic programming (SA, MH), pp. 73–82.
- PPDP-2007-AntoyB
- Computing with subspaces (SA, BB), pp. 121–130.
- ICLP-2006-AntoyH #functional #logic programming #source code
- Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.
- RTA-2006-AntoyBC #correctness #on the
- On the Correctness of Bubbling (SA, DWB, SHC), pp. 35–49.
- LOPSTR-2005-AntoyH #declarative #programming
- Declarative Programming with Function Patterns (SA, MH), pp. 6–22.
- ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using
- Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.
- IFL-2004-AntoyHLT #functional #logic #virtual machine
- A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
- PPDP-2004-AntoyJ #formal method #implementation
- Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.
- PPDP-2003-AntoyBH
- Conditional narrowing without conditions (SA, BB, MH), pp. 20–31.
- FLOPS-2002-AntoyH #design pattern #functional #logic
- Functional Logic Design Patterns (SA, MH), pp. 67–87.
- PPDP-2001-Antoy
- Constructor-Based Conditional Narrowing (SA), pp. 199–206.
- PPDP-2001-AntoyHMS #implementation
- An Implementation of Narrowing Strategies (SA, MH, BM, FS), pp. 207–217.
- LOPSTR-2000-AlbertAV #effectiveness #partial evaluation
- Measuring the Effectiveness of Partial Evaluation (EA, SA, GV).
- LOPSTR-J-2000-AlbertAV #effectiveness #functional #logic #partial evaluation
- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages (EA, SA, GV), pp. 103–124.
- FLOPS-1999-AntoyT #higher-order
- Typed Higher-Order Narrowing without Higher-Order Strategies (SA, APT), pp. 335–353.
- ALP-1997-Antoy #functional #logic #nondeterminism
- Optimal Non-deterministic Functional Logic Computations (SA), pp. 16–30.
- ICLP-1997-AntoyEH #evaluation #functional #logic #parallel
- Parallel Evaluation Strategies for Functional Logic Languages (SA, RE, MH), pp. 138–152.
- PLILP-1997-AntoyA
- Narrowing the Narrowing Space (SA, ZMA), pp. 1–15.
- PLILP-1996-Antoy #prolog
- Needed Narrowing in Prolog (SA), pp. 473–474.
- ALP-1994-AntoyM #reduction
- A Sequential Reduction Strategy (SA, AM), pp. 168–185.
- POPL-1994-AntoyEH
- A Needed Narrowing Strategy (SA, RE, MH), pp. 268–279.
- ALP-1992-Antoy
- Definitional Trees (SA), pp. 143–157.
- LOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism
- Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.
- PLILP-1991-Antoy #evaluation #lazy evaluation #logic
- Lazy Evaluation in Logic (SA), pp. 371–382.