Copertina

Declarative Languages for Advanced Information Technologies

Salvato in:
Pubblicato in:Journal of Information Technology vol. 3, no. 2 (Jun 1988), p. 110-118
Autore principale: Kosky, Anthony
Pubblicazione:
Sage Publications Ltd.
Soggetti:
Logic programming
Debugging
Programming languages
Declarative programming
Program verification (computers)
Paradigms
Transformation
Verification
Machinery
Languages
Accesso online:Citation/Abstract
Full Text
Full Text - PDF
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC

LEADER 00000nab a2200000uu 4500
001 903911581
003 UK-CbPIL
022 |a 0268-3962 
022 |a 1466-4437 
024 7 |a 10.1057/jit.1988.20  |2 doi 
035 |a 903911581 
045 2 |b d19880601  |b d19880630 
084 |a 66077  |2 nlm 
100 1 |a Kosky, Anthony 
245 1 |a Declarative Languages for Advanced Information Technologies 
260 |b Sage Publications Ltd.  |c Jun 1988 
513 |a Journal Article 
520 3 |a 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] 
653 |a Logic programming 
653 |a Debugging 
653 |a Programming languages 
653 |a Declarative programming 
653 |a Program verification (computers) 
653 |a Paradigms 
653 |a Transformation 
653 |a Verification 
653 |a Machinery 
653 |a Languages 
773 0 |t Journal of Information Technology  |g vol. 3, no. 2 (Jun 1988), p. 110-118 
786 0 |d ProQuest  |t ABI/INFORM Global 
856 4 1 |3 Citation/Abstract  |u https://www.proquest.com/docview/903911581/abstract/embedded/ZKJTFFSVAI7CB62C?source=fedsrch 
856 4 0 |3 Full Text  |u https://www.proquest.com/docview/903911581/fulltext/embedded/ZKJTFFSVAI7CB62C?source=fedsrch 
856 4 0 |3 Full Text - PDF  |u https://www.proquest.com/docview/903911581/fulltextPDF/embedded/ZKJTFFSVAI7CB62C?source=fedsrch