Since 2014
Type Inference of Turbo Pascal
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Type Inference of Turbo Pascal
|
|
| Creator |
Hougaard, Ole I.
Schwartzbach, Michael I. Askari, Hosein |
|
| Description |
Type inference is generally thought of as being an exclusive property ofthe functional programming paradigm. We argue that such a feature may beof significant benefit for also standard imperative languages. We present aworking tool (available by WWW) providing these benefits for a full versionof Turbo Pascal. It has the form of a preprocessor that analyzes programsin which the type annotations are only partial or even absent. The resultingprogram has full type annotations, will be accepted by the standard TurboPascal compiler, and has polymorphic use of procedures resolved by meansof code expansion.Keywords: imperative languages, type inference.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1995-01-08
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19511
10.7146/brics.v2i8.19511 |
|
| Source |
BRICS Report Series; No 8 (1995): RS-08 Type Inference of Turbo Pascal
BRICS Report Series; No 8 (1995): RS-08 Type Inference of Turbo Pascal 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19511/17132
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|