scientific article; zbMATH DE number 1691455

zbMATH Open0977.68785MaRDI QIDQ2763376FDOQ2763376

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

Uses Software

• Erlang
• evt

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)