Type Inference of Turbo Pascal

Ole Ildsgaard Hougaard, Michael I Schwartzbach, Hosein Askari

Publikation: Bidrag til tidsskriftTidsskriftsartikelForskning

Abstract

Type inference is generally thought of as being an exclusive property of the functional programming paradigm. We argue that such a feature may be of significant benefit for also standard imperative languages. We present a working tool (available by WWW) providing these benefits for a full version of Turbo Pascal. It has the form of a preprocessor that analyzes programs in which the type annotations are only partial or even absent. The resulting program has full type annotations, will be accepted by the standard Turbo Pascal compiler, and has polymorphic use of procedures resolved by means of code expansion.
OriginalsprogEngelsk
TidsskriftSoftware - Concept and Tools
Vol/bind16
Sider (fra-til)160-169
Antal sider10
ISSN0945-8115
StatusUdgivet - 1995

Fingeraftryk

Dyk ned i forskningsemnerne om 'Type Inference of Turbo Pascal'. Sammen danner de et unikt fingeraftryk.

Citationsformater