Ata uhi

Declarative Languages for Advanced Information Technologies

I tiakina i:
I whakaputaina i:Journal of Information Technology vol. 3, no. 2 (Jun 1988), p. 110-118
Kaituhi matua: Kosky, Anthony
I whakaputaina:
Sage Publications Ltd.
Ngā marau:
Logic programming
Debugging
Programming languages
Declarative programming
Program verification (computers)
Paradigms
Transformation
Verification
Machinery
Languages
Urunga tuihono:Citation/Abstract
Full Text
Full Text - PDF
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
Whakarāpopotonga:In recent times there has been a great increase in interest in declarative programming languages, which are based on sound mathematical formalisms, independent of the machinery on which they are implemented. Such languages are easier to understand and debug, and have advantages with regard to program transformation and verification, and parallel implementation over conventional, imperative languages. In this essay I will discuss the various paradigms available for declarative programming, and also the object orientated programming paradigm, and put forward various ideas that I feel are of particular interest. [PUBLICATION ABSTRACT]
ISSN:0268-3962
1466-4437
DOI:10.1057/jit.1988.20
Puna:ABI/INFORM Global