Narrowing the Narrowing Space

Authors:
Sergio Antoy;Zena M. Ariola
Affiliations:
-;-
Venue:
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Year:
1997

Fast narrowing-driven partial evaluation for inductively sequential programs

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

Higher-Order and Symbolic Computation
Type-level Computation Using Narrowing in Ωmega

Electronic Notes in Theoretical Computer Science (ENTCS)
Termination of narrowing revisited

Theoretical Computer Science
Symbolic model checking of infinite-state systems using narrowing

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Termination of narrowing in left-linear constructor systems

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming

Hi-index	0.00