scientific article
From MaRDI portal
Publication:3750112
zbMath0609.68019MaRDI QIDQ3750112
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lazy evaluationcall-by-valuecall-by-namealgebraic abstract typespartial interpretationshigher order specification
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (1)
This page was built for publication:
