Opening book details…
Can I read A translator from C to a λ-calculus representation on EtoBox?
A translator from C to a λ-calculus representation by Michael Karr is a Computer Science article available to read on EtoBox.
What is A translator from C to a λ-calculus representation about?
We describe a translator from C to a representation based on the, λ-calculus; the representation can be annotated with execution statistics obtained by running the C program. This tool may be of use in projects investigating the analysis and transformation of programs, particularly those that involve optimization under explicit cost models. The translator may be obtained by contacting the author.
Who reads A translator from C to a λ-calculus representation?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Michael Karr
- Publisher
- ACM
- Published
- 1996
- Language
- EN
- Field
- Computer Science (Physical Sciences)