scientific article
From MaRDI portal
Publication:3771589
zbMath0633.68003MaRDI QIDQ3771589
M. J. Plasmeijer, M. O. van Leer, M. C. J. D. van Eekelen, T. H. Brus
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Parallel graph rewriting on loosely coupled machine architectures ⋮ Uniqueness logic ⋮ Normalization results for typeable rewrite systems ⋮ Extending graph rewriting with copying ⋮ Implementing term rewrite languages in DACTL ⋮ Space-efficient gradual typing ⋮ Properties of a first-order functional language with sharing ⋮ Functional Type Assignment for Featherweight Java ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ Algebraic correctness proofs for compiling recursive function definitions with strictness information ⋮ Deciding inclusion of set constants over infinite non-strict data structures ⋮ Programmed Strategies for Program Verification
Uses Software
This page was built for publication:
