scientific article; zbMATH DE number 3900135

zbMATH Open0564.68012MaRDI QIDQ3678652FDOQ3678652

Authors: Paulo A. S. Veloso 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 4128365
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 3911688
• scientific article; zbMATH DE number 1678368
• scientific article; zbMATH DE number 4074454

zbMATH Keywords

specificationsAbstract data typescorrect programs

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (18)

• Title not available (Why is that?)
• Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers
• Title not available (Why is that?)
• The method of types [information theory]
• Title not available (Why is that?)
• Modification of the IOTA method for non-hierarchical types
• Algorithmic specifications: a constructive specification method for abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recent Trends in Data Type Specification
• A systematic catalogue of reusable abstract data types
• Title not available (Why is that?)
• Specifying type systems
• Title not available (Why is that?)
• Specification of data restructuring software based on the attribute method
• Class-diagrams for abstract data types

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