( en | de | ru )

 

Disambiguation of "Sekar, R. C."

Author of the publication

copydeleteadd this publication to your clipboard
Extracting Determinacy in Logic Programs.

, , , and . ICLP, page 424-438. MIT Press, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

C R Jacob

Gautham Sekar

Mahmut Çag r c

J R C Cousland

Heinrich C R Klein

 

Other publications of authors with the same name

The Touring Machine System., , , , , , , , , and 11 other author(s). Commun. ACM, 36 (1): 68-77 (1993)On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation., , and . POPL, page 37-48. ACM Press, (1991)Adaptive Pattern Matching., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 247-260. Springer, (1992)A Symbolic Constraint Solving Framework for Analysis of Logic Programs., , and . PEPM, page 12-23. ACM Press, (1995)Programming with Equations: A Framework for Lazy Parallel Evaluation., and . CADE, volume 607 of Lecture Notes in Computer Science, page 618-632. Springer, (1992)Automata-driven efficient subterm unification., , and . Theor. Comput. Sci., 254 (1-2): 187-223 (2001)A High Performance Runtime System for Parallel Evaluation of Lazy Languages., , and . PASCO, page 234-243. World Scientific, (1994)Small Domains Spell Fast Strictness Analysis., , and . POPL, page 169-183. ACM Press, (1990)Fast Parallel Implementation of Lazy Languages - The EQUALS Experience., , , , and . LISP and Functional Programming, page 335-344. ACM, (1992)Adaptive Pattern Matching., , and . SIAM J. Comput., 24 (6): 1207-1234 (1995)