Sergio Antoy

Sergio Antoy

Portland State University - Portland / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 883464
person_outline Sergio Antoy's MOST POPULAR ARTICLES
1-) A needed narrowing strategy Journal of the ACM (JACM) 47 (4), 776-822, 2000
2-) Definitional trees International Conference on Algebraic and Logic Programming, 143-157, 1992
3-) Functional logic programming Communications of the ACM 53 (4), 74-85, 2010
4-) Automatically checking an implementation against its formal specification IEEE Transactions on Software engineering 26 (1), 55-69, 2000
5-) Optimal non-deterministic functional logic computations International Conference on Algebraic and Logic Programming, 16-30, 1997