Work

Static evaluation of functional programs

Year: 1986

Type: conference-paper

Abstract: Static evaluation underlies essentially all techniques for a priori semantic program manipulation, i.e. those that stop short of fully general execution. Included are such activities as type checking, partial evaluation, and, ultimately, optimized compilation.

Source: ACM SIGPLAN Symposium on Compiler Construction

DOI: 10.1145/12276.13331

Author: Gary Lindstrom

Institution: University of Utah

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Institut national de recherche en informatique et en automatique (INRIA)

Award: Generalizations of Functional and Logic Programming