Sciweavers

224
Voted
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
16 years 3 days ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape