An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract)

Authors:
Alain Deutsch
Affiliations:
-
Venue:
Proceedings of the 1991 Glasgow Workshop on Functional Programming
Year:
1991

Citing 0
Cited 2

Semantic models and abstract interpretation techniques for inductive data structures and pointers

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Formal language, grammar and set-constraint-based program analysis by abstract interpretation

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract