Sergio Antoy

Available identifiers

zbMath Open antoy.sergioMaRDI QIDQ671503

List of research outcomes

Publication	Date of Publication	Type
Equivalence Checking of Non-deterministic Operations	2023-03-30	Paper
Normalization by leftmost innermost rewriting	2023-03-09	Paper
Design strategies for rewrite rules	2023-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5013811	2021-12-02	Paper
Default rules for Curry	2017-11-09	Paper
A new functional-logic compiler for Curry: Sprite	2017-10-13	Paper
Transforming Boolean equalities into constraints	2017-06-01	Paper
From Boolean Equalities to Constraints	2016-02-05	Paper
Compiling Collapsing Rules in Certain Constructor Systems	2016-02-05	Paper
A needed narrowing strategy	2015-12-17	Paper
Compiling a Functional Logic Language: The Fair Scheme	2015-11-30	Paper
Implementing functional logic languages using multiple threads and stores	2015-03-09	Paper
Lazy context cloning for non-deterministic graph rewriting	2013-12-20	Paper
A monadic semantics for core Curry	2013-08-27	Paper
Evaluation strategies for functional logic programming	2013-07-24	Paper
Improving the efficiency of non-deterministic computations	2013-07-24	Paper
On the correctness of pull-tabbing	2011-08-16	Paper
Programming with narrowing: a tutorial	2010-05-05	Paper
Declarative Programming with Function Patterns	2009-01-15	Paper
On the Correctness of Bubbling	2008-09-25	Paper
Overlapping Rules and Logic Variables in Functional Logic Programs	2008-03-11	Paper
A Virtual Machine for Functional Logic Computations	2007-10-23	Paper
Evaluation strategies for functional logic programming	2007-10-19	Paper
FUNCTIONAL PEARL Concurrent distinct choices	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4421874	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4409152	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2766793	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4537513	2002-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2729761	2001-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4364366	1997-11-17	Paper
A sequential reduction strategy	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4287481	1994-04-12	Paper
Modeling and Isomorphisms of Positional Board Games	1987-01-01	Paper
A recursive algorithm for quick and efficient bit reversing	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4071855	1973-01-01	Paper

Research outcomes over time

This page was built for person: Sergio Antoy