OBSCURE

swMATH2575MaRDI QIDQ15114FDOQ15114

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/m2q10716p4074752/fulltext.pdf

Described by source

• OBSCURE, a specification language for abstract data types

Cited In (8)

• Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017
• Title not available (Why is that?)
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• SingSurf
• Mantissa
• Proof systems for structured specifications with observability operators
• Title not available (Why is that?)
• Algebraic system specification and development. A survey and annotated bibliography

This page was built for software: OBSCURE