Path Semantics

Authors:

Adrienne Bloss and Paul Hudak

Abstract:

Knowledge of order of evaluation of expressions is useful for compile-time optimizations for lazy sequential functional programs.  We present path semantics, a non-standard semantics that describes order of evaluation for a first-order functional language with lazy evaluation.  We also provide an  effective abstraction of path semantics that provides compile-time  information.  We show how path semantics may be used in strictness analysis, process scheduling in parallel systems, and optimized self-modifying thunks.

Bibtex:

 @inproceedings{blos87a
    ,key={bloss}
    ,author={Bloss, A. and Hudak, P.}
    ,title={Path Semantics}
    ,booktitle={Proceedings of Third Workshop on the
                Mathematical Foundations of Programming Language Semantics}
    ,year=1987
    ,organization={Tulane University}
    ,publisher={Springer-Verlag LNCS Volume 298}
    ,pages={476-489}
    } 

Links:

path.pdf