Algebraic modelling of imperative languages with pointers
| Autor: | Alexandre V. Zamulin |
|---|---|
| Rok vydání: | 2006 |
| Předmět: |
Theoretical computer science
Computer science Programming language Comparison of multi-paradigm programming languages Second-generation programming language Pascal (programming language) Abstract data type computer.software_genre Data type Algebraic modeling language Expression (mathematics) Third-generation programming language Imperative programming Pointer (computer programming) Algebraic operation Programming paradigm Fifth-generation programming language Generalized algebraic data type computer computer.programming_language |
| Zdroj: | Formal Methods in Programming and Their Applications ISBN: 354057316X Formal Methods in Programming and Their Applications |
| DOI: | 10.1007/bfb0039702 |
| Popis: | A modelling technique for an imperative programming language is presented in the paper. The technique is based on the algebraic approach to the data type specification and introduces such basic data types as memory, variable, record, function, and procedure and such basic kinds of expressions as linear and conditional expressions. It is shown that statements are a partial case of expressions, pointers are a partial case of variables, and procedures are a partial case of functions. The technique is illustrated by a simple Pascal program including variables, pointers, and assignment and conditional statements. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|