Declarative specification and declarative programming

Authors:
Manfred Broy
Affiliations:
Technische Universität München, München, Germany
Venue:
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Year:
1991

Citing 7
Cited 0

Programs are predicates

Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Systematic software development using VDM

Systematic software development using VDM
Predicate calculus and program semantics

Predicate calculus and program semantics
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Predicative programming Part II

Communications of the ACM
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
A Discipline of Programming

A Discipline of Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

A formalism for declarative specification and programming is introduced that forms a logical and methodological framework for program and system specification and construction. It combines axiomatic techniques based on logical concepts for specifying properties and the possibility to introduce names for objects. In particular it comprises within one formalism the possibilities of formulating specifications and defining algorithms. The logical formalism is based more or less on typed predicate logic. The development rules are particular proof rules together with the inference rules of predicate logic. As a special aspect we consider logical formulas which explicitly specify typed identifiers as elements of signatures.