Publication:3026333
From MaRDI portal
zbMath0624.68034MaRDI QIDQ3026333
Publication date: 1986
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
03B40: Combinatory logic and lambda calculus
Related Items
Payoffs, Intensionality and Abstraction in Games, Inverse image analysis generalises strictness analysis, Parameter-reduction of higher level grammars, Strictness analysis via abstract interpretation for recursively defined types, Usage counting analysis for lazy functional languages, Type inference, abstract interpretation and strictness analysis, Order-of-demand analysis for lazy languages