Properties of a Notation for Combining Functions

Authors:
Jean-Claude Raoult;Ravi Sethi
Affiliations:
-;-
Venue:
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Year:
1982

Citing 0
Cited 2

Detecting global variables in denotational specifications

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Control flow aspects of semantics directed compiling (Summary)

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction

Quantified Score

Hi-index	0.00

Visualization

Abstract