Using supplementary properties to reduce the need for documentation

TY - GEN

T1 - Using supplementary properties to reduce the need for documentation

AU - Madsen, Ole Lehrmann

AU - Møller-Pedersen, Birger

N1 - Conference code: 11

PY - 2022/10

Y1 - 2022/10

N2 - The purpose of programming languages is to instruct computers and to communicate descriptions of computational processes among people. However, a program has to be supplemented by additional documentation using natural language, diagrams, specifications, models, etc. that also serve the purpose of supporting design and validation. A number of languages have been developed for this purpose, with the cost of having to maintain several descriptions. In this paper, we describe how to include supplementary properties in a programming language to reduce the need for additional languages and to reduce the need for additional documentation. Supplementary properties may restrict access to global variables, enforce restrictions on subclasses, specify required interfaces of modules, etc.

AB - The purpose of programming languages is to instruct computers and to communicate descriptions of computational processes among people. However, a program has to be supplemented by additional documentation using natural language, diagrams, specifications, models, etc. that also serve the purpose of supporting design and validation. A number of languages have been developed for this purpose, with the cost of having to maintain several descriptions. In this paper, we describe how to include supplementary properties in a programming language to reduce the need for additional languages and to reduce the need for additional documentation. Supplementary properties may restrict access to global variables, enforce restrictions on subclasses, specify required interfaces of modules, etc.

KW - Documentation

KW - Languages

KW - Modeling

KW - Programming

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

U2 - 10.1007/978-3-031-19756-7_4

DO - 10.1007/978-3-031-19756-7_4

M3 - Article in proceedings

SN - 978-3-031-19755-0

T3 - Lecture Notes in Computer Science

SP - 35

EP - 59

BT - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 24 October 2022 through 28 October 2022

ER -