Skip to main content
Conference ProceedingsOPEN ACCESS

Tools and techniques of annotated programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1991) 477 LNCS 117-131
DOI: 10.1007/3-540-53669-8_78
2Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Annotated programming is a method of program processing which takes into account program application information a priori known and conveyed in annotations. A model for annotated programming is described within whose framework many kinds of practical work with programs (e.g. partial evaluation and optimization) can be performed. A transformation machine concept and some tools for annotated program transformations are considered.

Cite

CITATION STYLE

APA

Kasvanov, V. N. (1991). Tools and techniques of annotated programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 477 LNCS, pp. 117–131). Springer Verlag. https://doi.org/10.1007/3-540-53669-8_78

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free