scientific article; zbMATH DE number 1487948

zbMATH Open0959.68510MaRDI QIDQ4495076FDOQ4495076

Authors: Barrett R. Bryant, Viswanathan Vaidyanathan 

Publication date: 10 August 2000

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

Recommendations

• scientific article; zbMATH DE number 512880
• Language prototyping: An algebraic specification approach
• Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language
• scientific article; zbMATH DE number 3947597

zbMATH Keywords

object-oriented formal specification

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Language prototyping: An algebraic specification approach
• Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language
• From predicates to programs: the semantics of a method language

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 Q4495076)