×
Author ID: antoy.sergio Recent zbMATH articles by "Antoy, Sergio"
Published as: Antoy, Sergio; Antoy, S.

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 169 times in 81 Documents Cited by Year
A needed narrowing strategy. Zbl 1327.68141
Antoy, Sergio; Echahed, Rachid; Hanus, Michael
51
2000
Optimal non-deterministic functional logic computations. Zbl 0886.68034
Antoy, Sergio
15
1997
Overlapping rules and logic variables in functional logic programs. Zbl 1131.68364
Antoy, Sergio; Hanus, Michael
13
2006
Evaluation strategies for functional logic programming. Zbl 1129.68019
Antoy, Sergio
12
2005
Declarative programming with function patterns. Zbl 1156.68339
Antoy, Sergio; Hanus, Michael
8
2006
Compiling multi-paradigm declarative programs into Prolog. Zbl 0969.68667
Antoy, Sergio; Hanus, Michael
8
2000
A virtual machine for functional logic computations. Zbl 1119.68326
Antoy, Sergio; Hanus, Michael; Liu, Jimeng; Tolmach, Andrew
7
2005
Programming with narrowing: a tutorial. Zbl 1192.68135
Antoy, Sergio
6
2010
Typed higher-order narrowing without higher-order strategies. Zbl 0988.68091
Antoy, Sergio; Tolmach, Andrew
6
1999
A sequential reduction strategy. Zbl 0872.68080
Antoy, Sergio; Middeldorp, Aart
5
1996
Functional logic design patterns. Zbl 1019.68512
Antoy, Sergio; Hanus, Michael
5
2002
Lazy context cloning for non-deterministic graph rewriting. Zbl 1278.68116
Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui
5
2007
On the correctness of bubbling. Zbl 1151.68357
Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui
4
2006
Implementing functional logic languages using multiple threads and stores. Zbl 1323.68167
Tolmach, Andrew; Antoy, Sergio; Nita, Marius
3
2004
A sequential reduction strategy. Zbl 0988.68554
Antoy, Sergio; Middeldorp, Aart
3
1994
Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500
Albert, Elvira; Antoy, Sergio; Vidal, Germán
3
2001
A monadic semantics for core Curry. Zbl 1270.68158
Tolmach, Andrew; Antoy, Sergio
3
2003
On the correctness of pull-tabbing. Zbl 1222.68050
Antoy, Sergio
2
2011
Evaluation strategies for functional logic programming. Zbl 1268.68092
Antoy, Sergio
2
2001
Improving the efficiency of non-deterministic computations. Zbl 1268.68058
Antoy, Sergio; Iranzo, Pascual Julián; Massey, Bart
2
2002
Normalization by leftmost innermost rewriting. Zbl 1508.68139
Antoy, Sergio
1
1993
Concurrent distinct choices. Zbl 1063.68027
Antoy, Sergio; Hanus, Michael
1
2004
Sul calcolo del gruppo di Picard di certe estensioni intere semplici. Zbl 0313.13006
Antoy, Sergio
1
1973
Equivalence checking of non-deterministic operations. Zbl 1507.68069
Antoy, Sergio; Hanus, Michael
1
2018
Compiling a functional logic language: The Fair Scheme. Zbl 1453.68039
Antoy, Sergio; Jost, Andy
1
2014
Default rules for Curry. Zbl 1379.68037
Antoy, Sergio; Hanus, Michael
1
2017
Equivalence checking of non-deterministic operations. Zbl 1507.68069
Antoy, Sergio; Hanus, Michael
1
2018
Default rules for Curry. Zbl 1379.68037
Antoy, Sergio; Hanus, Michael
1
2017
Compiling a functional logic language: The Fair Scheme. Zbl 1453.68039
Antoy, Sergio; Jost, Andy
1
2014
On the correctness of pull-tabbing. Zbl 1222.68050
Antoy, Sergio
2
2011
Programming with narrowing: a tutorial. Zbl 1192.68135
Antoy, Sergio
6
2010
Lazy context cloning for non-deterministic graph rewriting. Zbl 1278.68116
Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui
5
2007
Overlapping rules and logic variables in functional logic programs. Zbl 1131.68364
Antoy, Sergio; Hanus, Michael
13
2006
Declarative programming with function patterns. Zbl 1156.68339
Antoy, Sergio; Hanus, Michael
8
2006
On the correctness of bubbling. Zbl 1151.68357
Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui
4
2006
Evaluation strategies for functional logic programming. Zbl 1129.68019
Antoy, Sergio
12
2005
A virtual machine for functional logic computations. Zbl 1119.68326
Antoy, Sergio; Hanus, Michael; Liu, Jimeng; Tolmach, Andrew
7
2005
Implementing functional logic languages using multiple threads and stores. Zbl 1323.68167
Tolmach, Andrew; Antoy, Sergio; Nita, Marius
3
2004
Concurrent distinct choices. Zbl 1063.68027
Antoy, Sergio; Hanus, Michael
1
2004
A monadic semantics for core Curry. Zbl 1270.68158
Tolmach, Andrew; Antoy, Sergio
3
2003
Functional logic design patterns. Zbl 1019.68512
Antoy, Sergio; Hanus, Michael
5
2002
Improving the efficiency of non-deterministic computations. Zbl 1268.68058
Antoy, Sergio; Iranzo, Pascual Julián; Massey, Bart
2
2002
Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500
Albert, Elvira; Antoy, Sergio; Vidal, Germán
3
2001
Evaluation strategies for functional logic programming. Zbl 1268.68092
Antoy, Sergio
2
2001
A needed narrowing strategy. Zbl 1327.68141
Antoy, Sergio; Echahed, Rachid; Hanus, Michael
51
2000
Compiling multi-paradigm declarative programs into Prolog. Zbl 0969.68667
Antoy, Sergio; Hanus, Michael
8
2000
Typed higher-order narrowing without higher-order strategies. Zbl 0988.68091
Antoy, Sergio; Tolmach, Andrew
6
1999
Optimal non-deterministic functional logic computations. Zbl 0886.68034
Antoy, Sergio
15
1997
A sequential reduction strategy. Zbl 0872.68080
Antoy, Sergio; Middeldorp, Aart
5
1996
A sequential reduction strategy. Zbl 0988.68554
Antoy, Sergio; Middeldorp, Aart
3
1994
Normalization by leftmost innermost rewriting. Zbl 1508.68139
Antoy, Sergio
1
1993
Sul calcolo del gruppo di Picard di certe estensioni intere semplici. Zbl 0313.13006
Antoy, Sergio
1
1973
all top 5

Cited by 95 Authors

12 Hanus, Michael
11 Antoy, Sergio
8 López-Fraguas, Francisco Javier
8 Vidal, Germán
6 Braßel, Bernd
6 Rodríguez-Hortalá, Juan
4 Alpuente, María
4 Falaschi, Moreno
4 Sánchez-Hernández, Jaime
3 Albert, Elvira
3 Christiansen, Jan
3 del Vado Vírseda, Rafael
3 Echahed, Rachid
3 Escobar, Santiago
3 Fischer, Sebastian
3 Huch, Frank
3 Martí-Oliet, Narciso
3 Meseguer Guaita, José
3 Moreno, Ginés
3 Rodríguez-Artalejo, Mario
3 Thati, Prasanna
2 Aguirre, Luis Antonio
2 Caballero, Rafael E.
2 Correa, Francisco José
2 Fernández, Antonio J.
2 Goncharov, Sergeĭ Savost’yanovich
2 Hortalá-González, Teresa
2 Jost, Andy
2 Lucas, Salvador
2 Martin-Martin, Enrique
2 Middeldorp, Aart
2 Palomino, Miguel
2 Pascual, Vicente
2 Pita, Isabel
2 Prehofer, Christian
2 Ramos, J. Guadalupe
2 Sáenz-Pérez, Fernando
2 Schröder, Lutz
2 Teegen, Finn
1 Arroyo, Gustavo
1 Ballis, Demis
1 Bonelli, Eduardo
1 Brown, Daniel W.
1 Chiang, Su-Hui
1 Clavel, Manuel
1 Cleva, José Miguel
1 Comon, Hubert
1 Correa, Franciso
1 Dayton, Barry H.
1 de Dios Castro, Javier
1 Durán, Francisco
1 Duval, Dominique
1 Dylus, Sandra
1 Eker, Steven
1 Estévez-Martín, Sonia
1 García-Ruiz, Yolanda
1 Glauert, John
1 Glück, Robert
1 Habel, Annegret
1 Ida, Tetsuo
1 Inaba, Kazuhiro
1 Iranzo, Pascual Julián
1 Johannsen, Jacob
1 Kesner, Delia
1 Khasidashvili, Zurab O.
1 Kirchner, Hélène
1 Kirkeby, Maja Hanne
1 Lakin, Matthew R.
1 Libby, Steven
1 Lincoln, Patrick D.
1 Lombardi, Carlos
1 Massey, Bart C.
1 Matsuda, Kazutaka
1 Mazanek, Steffen
1 Minas, Mark
1 Nakano, Keisuke
1 Nishida, Naoki
1 Ohlebusch, Enno
1 Oliver, Javier
1 Padawitz, Peter
1 Pitts, Andrew M.
1 Plump, Detlef
1 Prost, Frédéric
1 Reck, Fabian
1 Riesco, Adrián
1 Ríos, Alejandro
1 Romero-Díaz, Carlos A.
1 Schrijvers, Tom
1 Silva, Josep
1 Simonsen, Jakob Grue
1 Suzuki, Taro
1 Talcott, Carolyn L.
1 Tamarit, Salvador
1 Tarau, Paul
1 Wielemaker, Jan

Citations by Year