scientific article; zbMATH DE number 1390330

zbMATH Open0945.68022MaRDI QIDQ4934619

Bernhard Möller

Publication date: 3 October 2000

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

zbMATH Keywords

program calculationsemantics-preserving deduction rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (2)

Title not available (Why is that?) ⋮ Computer aided fusion for algebraic program derivation

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• An algebraic approach to schemes of structured programs 👍 👎
• Algebraic program analysis 👍 👎
• Execution architectures for program algebra 👍 👎
• Algebraic processing of programming languages 👍 👎
• Program algebra and coprogram calculus 👍 👎

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