Denotational semantics for program analysis

Authors:
Shan-Jon Chao;Barrett R. Bryant
Affiliations:
The University of Alabama, Birmingham;The University of Alabama, Birmingham
Venue:
ACM SIGPLAN Notices
Year:
1988

Citing 5
Cited 1

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Semantics-Directed Compiler Generation: Proceedings

Semantics-Directed Compiler Generation: Proceedings
An approach to compiler correctness

An approach to compiler correctness
An experiment in partial evaluation: the generation of a compiler generator

ACM SIGPLAN Notices

The derivation of functional equivalents of imperative programs

ACSC '01 Proceedings of the 24th Australasian conference on Computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract