Declarative Specification and Declarative Programming'

Manfred Broy

doi:10.1109/iwssd.1991.213082

Declarative Specification and Declarative Programming'

Manfred Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design
Publisher	Association for Computing Machinery, Inc
Pages	2-11
Number of pages	10
ISBN (Print)	0818623209, 9780818623202
DOIs	https://doi.org/10.1109/iwssd.1991.213082
State	Published - 25 Oct 1991
Event	6th International Workshop on Software Specification and Design, IWSSD 1991 - Como, Italy Duration: 25 Oct 1991 → …

Publication series

Name	IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Conference

Conference	6th International Workshop on Software Specification and Design, IWSSD 1991
Country/Territory	Italy
City	Como
Period	25/10/91 → …

Access to Document

10.1109/iwssd.1991.213082

Cite this

@inproceedings{96cb485c85914af7ae0ed1b9a9ddcd3b,

title = "Declarative Specification and Declarative Programming'",

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.",

author = "Manfred Broy",

note = "Publisher Copyright: {\textcopyright} 1991 IEEE.; 6th International Workshop on Software Specification and Design, IWSSD 1991 ; Conference date: 25-10-1991",

year = "1991",

month = oct,

day = "25",

doi = "10.1109/iwssd.1991.213082",

language = "English",

isbn = "0818623209",

series = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",

publisher = "Association for Computing Machinery, Inc",

pages = "2--11",

booktitle = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",

}

Broy, M 1991, Declarative Specification and Declarative Programming'. in IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design, Association for Computing Machinery, Inc, pp. 2-11, 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, 25/10/91. https://doi.org/10.1109/iwssd.1991.213082

Declarative Specification and Declarative Programming'. / Broy, Manfred.
IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. Association for Computing Machinery, Inc, 1991. p. 2-11 (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Declarative Specification and Declarative Programming'

AU - Broy, Manfred

PY - 1991/10/25

Y1 - 1991/10/25

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85058879328&partnerID=8YFLogxK

U2 - 10.1109/iwssd.1991.213082

DO - 10.1109/iwssd.1991.213082

M3 - Conference contribution

AN - SCOPUS:85058879328

SN - 0818623209

SN - 9780818623202

T3 - IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

SP - 2

EP - 11

BT - IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

PB - Association for Computing Machinery, Inc

T2 - 6th International Workshop on Software Specification and Design, IWSSD 1991

Y2 - 25 October 1991

ER -

Declarative Specification and Declarative Programming'

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this