Sergio Antoy - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2008

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, SpainSergio Antoy, Elvira Albert, editors, ACM, 2008.

2007

Lazy Context Cloning for Non-Deterministic Graph RewritingSergio Antoy, Daniel W. Brown, Su-Hui Chiang. ENTCS, 176(1):3-23, 2007. [doi]

PrefaceSergio Antoy. ENTCS, 174(10):1-2, 2007. [doi]

2006

On the Correctness of BubblingSergio Antoy, Daniel W. Brown, Su-Hui Chiang. RTA 2006: 35-49 [doi]

2005

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005Sergio Antoy, Michael Hanus, editors, ACM, 2005.

Declarative Programming with Function PatternsSergio Antoy, Michael Hanus. LOPSTR 2006: 6-22 [doi]

PrefaceSergio Antoy, Yoshihito Toyama. ENTCS, 124(2):1-2, 2005. [doi]

Evaluation strategies for functional logic programmingSergio Antoy. JSC, 40(1):875-903, 2005. [doi]

2004

2003

A monadic semantics for core CurryAndrew P. Tolmach, Sergio Antoy. ENTCS, 86(3):16-34, 2003. [doi]

2002

Functional Logic Design PatternsSergio Antoy, Michael Hanus. FLOPS 2002: 67-87 [doi]

Improving the Efficiency of Non-Deterministic ComputationsSergio Antoy, Pascual Julián Iranzo, Bart Massey. ENTCS, 64:73-94, 2002. [doi]

Demandness in Rewriting and NarrowingSergio Antoy, Salvador Lucas. ENTCS, 76:42-51, 2002. [doi]

2001

Constructor-Based Conditional NarrowingSergio Antoy. ppdp 2001: 199-206

An Implementation of Narrowing StrategiesSergio Antoy, Michael Hanus, Bart Massey, Frank Steiner. ppdp 2001: 207-217

Evaluation Strategies for Functional Logic ProgrammingSergio Antoy. TCS, 57:1-16, 2001. [doi]

2000

1999

Typed Higher-Order Narrowing without Higher-Order StrategiesSergio Antoy, Andrew P. Tolmach. FLOPS 1999: 335-353

1997

Optimal Non-deterministic Functional Logic ComputationsSergio Antoy. icalp 1997: 16-30

Parallel Evaluation Strategies for Functional Logic LanguagesSergio Antoy, Rachid Echahed, Michael Hanus. ICLP 1997: 138-152

1996

A Sequential Reduction StrategySergio Antoy, Aart Middeldorp. TCS, 165(1):75-95, 1996. [doi]

1994

A Needed Narrowing StrategySergio Antoy, Rachid Echahed, Michael Hanus. POPL 1994: 268-279

Using Term Rewriting to Verify SoftwareSergio Antoy, John D. Gannon. TSE, 20(4):259-274, 1994. [doi]

A Sequential Reduction StrategySergio Antoy, Aart Middeldorp. icalp 1994: 168-185

1992

Definitional TreesSergio Antoy. icalp 1992: 143-157

Self-Checking against Formal SpecificationsSergio Antoy, Richard G. Hamlet. icci 1992: 355-360

A Uniform Approach to Deduction and Automatic ImplementationSergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone. disco 1993: 132-144

1991

Non-Determinism and Lazy Evaluation in Logic ProgrammingSergio Antoy. LOPSTR 1991: 318-331

1990

Design Strategies for Rewrite RulesSergio Antoy. ctrs 1991: 333-341

Rapid Protoryping of System EnhancementsSergio Antoy, Virginia Tech, Paola Forcheri, Maria Teresa Molfino, Marvin V. Zelkowitz. saicsit 1990: 330-336

1987

Address location on envelopesPen-Shu Yeh, Sergio Antoy, Anne Litcher, Azriel Rosenfeld. PR, 20(2):213-227, 1987. [doi]

Sign in or sign up to see more results.

runs on WebDSL