scientific article
From MaRDI portal
Publication:2769620
zbMath0978.68703MaRDI QIDQ2769620
Lars-åke Fredlund, Dilian Gurov, Thomas Noll
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310582
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Towards Erlang Verification by Term Rewriting ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ Model Checking Erlang Programs – Abstracting Recursive Function Calls
Uses Software
This page was built for publication:
