Search Results - "Graph Theory—Graph algorithms General Terms Languages"

Are Needed Redexes Really Needed?

Authors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Contributors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Source: http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp13/paper.pdf.

Subject Terms: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Control structures, D.3.4 [Programming Languages, Processors—Compilers, F.4.2 [Mathematical Logic and Formal Languages, Grammars and Other Rewriting Systems, G.2.2 [Discrete Mathematics, Graph Theory—Graph algorithms General Terms Languages, Graph, Rewriting, Compilation. Keywords Functional Logic Programming Languages, Graph Rewriting Systems, Call-by-Need, Compiler Construction

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7963; http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp13/paper.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7963
http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp13/paper.pdf