scientific article; zbMATH DE number 1691455

MaRDI QIDQ2763376zbMATH OpenFDO

Authors Thomas Arts, Thomas Noll

Publication date 15 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2011/20110037

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2090137
• Computer Aided Systems Theory – EUROCAST 2005
• Abstraction and model checking of core Erlang programs in Maude
• Verification of Erlang programs using abstract interpretation and model checking
• Towards Erlang verification by term rewriting

Cited in

(1)

• scientific article; zbMATH DE number 2090137 (Why is no real title available?)

Describes a project that uses

Uses Software

• evt
• Erlang

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763376)