Program Specification

Inhaltsverzeichnis

• Program specification: Issues and observations.
• Example 1: Geometrical constructions.
• Example 2: KWIC — index generation.
• Example 3: Communication network.
• Partial correctness of distributed programs.
• Specification of distributed programs.
• Robust data types.
• A reduction specification for DTL.
• Recursive definitions of operations in universal algebras.
• The SRDL specification experiment.
• Program specification by module trees.
• Parameter passing in algebraic specification languages.
• A few remarks on putting formal specifications to productive use.
• A specification language.
• Tecton: A language for manipulating generic objects.
• Concurrency.
• Workshop on program specification.
• List of participants.