A correspondence between denotational semantics and code generation

A correspondence between denotational semantics and code generation

Bibliographic Details
Main Author:	Raskovsky, M. R.
Published:	University of Essex 1982
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.331779

Similar Items

Denotational semantic models for real-time LOTOS
by: Bryans, Jeremy William
Published: (1996)

Evaluation and denotation of pure LISP programs : a worked example in semantics
by: Gordon, Michael J. C.
Published: (1974)

A denotational semantics for concurrent ADA programs
by: Mearns, I.
Published: (1983)

More adaptable code generation
by: Forsyth, Charles Harkness
Published: (1990)

Automatic production of code generators
by: Spence, I. T. A.
Published: (1984)

Modularity and code generation in an extended programming language
by: Rowlands, J. A. S.
Published: (1988)

Semantics of object-oriented languages
by: Wolczko, M. I.
Published: (1988)

Automatic scheduling and parallel code generation for high performance real-time systems
by: Galparsoro, Miguel Angel Maiza
Published: (1997)

Semantics of a synchronous parallel programming language
by: Narayana, K. T.
Published: (1982)

The semantics and implementation of machine-readable CSP
by: Scattergood, Bryan
Published: (1998)

Semantic-constraint modelling for small database management systems
by: Eaglestone, B. M.
Published: (1985)

A semantic object-oriented shell for the relational model
by: Balian, Aram
Published: (1993)

Semantic net based hypertext for authoring and reuse
by: Wang, Weigang
Published: (1995)

Semantic models for communicating processes with value-passing
by: Ingolfsdottir, Anna
Published: (1994)

Semantic primitives for object-oriented programming languages
by: Clark, Anthony Neil
Published: (1996)

Iterative construction of data modelling language semantics
by: Botting, Richard
Published: (1997)

Semantic integrity enforcement in parallel database machines
by: McCarroll, Niall Fraser
Published: (1995)

Enhancing the semantic power of functional database languages
by: Ayers, Robert
Published: (1995)

A semantic study of data independence with applications to model checking
by: Lazic, Ranko S.
Published: (1999)

Semantic query optimization in relational database management systems
by: Sayli, Ayla
Published: (1999)

A semantic knowledge-based computational dictionary for support of natural language processing systems
by: Al-Hafez, Muhammad Yassin
Published: (1993)

On the efficient implementation of combinators as an object code for functional programs
by: Joy, M. S.
Published: (1984)

Software reclamation : upgrading code for reusability
by: Garnett, Edward Stewart
Published: (1990)

Improved turbo codes for data transmission
by: Tanriover, Cagri C.
Published: (2002)

Reading techniques for object-oriented code of production
by: Dunsmore, Alastair Peter
Published: (2003)

The generation and management of software
by: Baker, M. W.
Published: (1980)

Inter-module code analysis techniques for software maintenance
by: Calliss, Frank William
Published: (1989)

Generative grammars and the computer-aided composition of music
by: Holtzman, Steven R.
Published: (1980)

An investigation into generating readable software from logic specifications
by: Resler, R. Daniel
Published: (1991)

Automatic generation of programs for retrieving information from CODASYL databases
by: Bell, R.
Published: (1980)

Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
by: Shi, Feng Gang
Published: (1995)

Interactive program structure generation
by: Antelo, E.
Published: (1982)

A lightweight, graph-theoretic model of class-based similarity to support object-oriented code reuse
by: MacLean, Angus
Published: (2003)

A characterisation and some pedagogic aspects of the high-level language C in coding for multicontroller-based embedded targets
by: Cahill, S. J.
Published: (1996)

Denotational semantics of mobility in Unifying Theories of Programming (UTP)
by: Ekembe Ngondi, Gerard
Published: (2016)

COBOL report program generation by macro processor
by: Stevens, S.
Published: (1981)

Strategy generation and evaluation for meta-game playing
by: Pell, Barney Darryl
Published: (1993)

Object oriented modelling of complex data with automatic generation of a persistent representation
by: Barclay, Peter J.
Published: (1993)

Generation and comparison of constraint-based heuristics using structure of constraints
by: Rodosek, Robert
Published: (1997)

The automatic generation of software test data using genetic algorithms
by: Sthamer, Harmen-Hinrich
Published: (1995)