A bridge between constructive logic and computer programming (Q1179711)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A bridge between constructive logic and computer programming |
scientific article |
Statements
A bridge between constructive logic and computer programming (English)
0 references
26 June 1992
0 references
The paper is a good introduction into applied constructive logics and presents, in an informally manner, some logic notions and their analogies among programming concepts. Also, there are shown some non-usually complex examples. All of these are very useful in synthesis and analysis of computer programs and programming languages.
0 references
applied constructive logics
0 references
programming concepts
0 references
0 references
