A bridge between constructive logic and computer programming (Q1179711)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A bridge between constructive logic and computer programming |
scientific article; zbMATH DE number 25200
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A bridge between constructive logic and computer programming |
scientific article; zbMATH DE number 25200 |
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
0.9022857
0 references
0.8853606
0 references
