Regular Approximation of Computation Paths in Logic and Functional Languages

J P Gallagher, L Lafave

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

19 Citations (Scopus)
Translated title of the contributionRegular Approximation of Computation Paths in Logic and Functional Languages
Original languageEnglish
Title of host publicationUnknown
PublisherSpringer
Pages1 - 16
Number of pages15
Publication statusPublished - 1996

Bibliographical note

Conference Proceedings/Title of Journal: Proceedings of the Dagstuhl Workshop on Partial Evaluation

Cite this