scientific article; zbMATH DE number 4050933

MaRDI QIDQ3787422zbMATH OpenFDO

Authors Barbara H. Liskov, John Guttag

Publication date 1986

zbMATH Keywords

data abstractionexercisesimplementationsiteratorsmodular programsPascalproceduresprogram designprogram developmentprogram verificationprogramming language CLUrequirements analysisspecificationtypes

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 54048
• scientific article; zbMATH DE number 4033047
• scientific article; zbMATH DE number 47959
• scientific article; zbMATH DE number 41037
• Introduction to programming by abstract data types. Incl. 1 CD-ROM

Cited in

(24)

• Applications of coarse-grained dataflow in computational mechanis
• Specification and verification of object-oriented programs using supertype abstraction
• Applying abstraction and formal specification in numerical software design
• Stepwise refinement of heap-manipulating code in Chalice
• On assertion-based encapsulation for object invariants and simulations
• Introduction to programming by abstract data types. Incl. 1 CD-ROM
• Abstraction strategies in practice
• Synchronizing model and program refactoring
• Program development with control abstractions.
• scientific article; zbMATH DE number 41037 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 54048 (Why is no real title available?)
• scientific article; zbMATH DE number 1759712 (Why is no real title available?)
• Alias burying: Unique variables without destructive reads
• Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework
• Specifications can make programs run faster
• First order data types and first order logic
• Verification of concurrent systems with VerCors
• Calculating modules in contextual logic program refinement
• Modular verification of multithreaded programs
• Type classes with existential types
• A general framework for architecture composability
• Towards imperative modules: reasoning about invariants and sharing of mutable state
• Observational purity and encapsulation

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