Regular Approximation of Computation Paths in Logic and Functional Languages

J P Gallagher, L Lafave

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

23 Citations (Scopus)

Translated title of the contribution	Regular Approximation of Computation Paths in Logic and Functional Languages
Original language	English
Title of host publication	Unknown
Publisher	Springer
Pages	1 - 16
Number of pages	15
Publication status	Published - 1996

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

Access to Document

@inproceedings{a996a5d24a6f475fbb71a705700dcdfe,

title = "Regular Approximation of Computation Paths in Logic and Functional Languages",

author = "Gallagher, {J P} and L Lafave",

note = "Conference Proceedings/Title of Journal: Proceedings of the Dagstuhl Workshop on Partial Evaluation",

year = "1996",

language = "English",

pages = "1 -- 16",

booktitle = "Unknown",

publisher = "Springer",

}