Login / Signup
Strictness Analysis via Abstract Interpretation for Recursively Defined Types
Gerard R. Renardel de Lavalette
Published in:
Inf. Comput. (1992)
Keyphrases
</>
abstract interpretation
information systems
pattern matching
database
case study
high level