A Unified Mathematical Model of Programs

Author

Wang, Yingxu

Author_Institution

Dept. of Electr. & Comput. Eng., Calgary Univ., Alta.

fYear

2006

fDate

38838

Firstpage

2381

Lastpage

2384

Abstract

Despite the rich depository of empirical knowledge on programming and software engineering, the theoretical model of programs is still unknown. This paper presents an embedded relational model (ERM) for describing the nature of programs. ERM provides a unified mathematical treatment of programs, which reveals that a program is a large and finite set of embedded binary relations between a given current statement and all previous ones that formed the semantic context or environment of computing. According to the ERM model, a program is a composed listing and a logical combination of multiple statements according to certain composing rules. A set of 17 meta statements and a set of 17 compositional relations in computing are elicited in real-time process algebra (RTPA). Based on the ERM model, a set of mathematical laws of programming is formally established

Keywords

mathematical analysis; process algebra; programming language semantics; programming theory; embedded binary relational model; mathematical programming laws; real-time process algebra; semantic context; Algebra; Computer languages; Concurrent computing; Drives; Embedded computing; Functional programming; Mathematical model; Mathematical programming; Software engineering; Software systems; Software engineering; composition rules; laws of programming; mathematical model of programs; meta processes; process relations;

fLanguage

English

Publisher

ieee

Conference_Titel

Electrical and Computer Engineering, 2006. CCECE '06. Canadian Conference on

Conference_Location

Ottawa, Ont.

Print_ISBN

1-4244-0038-4

Electronic_ISBN

1-4244-0038-4

Type

conf

DOI

10.1109/CCECE.2006.277681

Filename

4054979