scientific article
From MaRDI portal
Publication:3026333
zbMath0624.68034MaRDI QIDQ3026333
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)
Related Items (7)
Order-of-demand analysis for lazy languages ⋮ Parameter-reduction of higher level grammars ⋮ Strictness analysis via abstract interpretation for recursively defined types ⋮ Payoffs, Intensionality and Abstraction in Games ⋮ Inverse image analysis generalises strictness analysis ⋮ Usage counting analysis for lazy functional languages ⋮ Type inference, abstract interpretation and strictness analysis
This page was built for publication:
