Language design for structured programming

Language design for structured programming

Bibliographic Details
Main Author:	Wallis, Peter J. L.
Other Authors:	Stoy, Joe ; Strachey, Christopher
Published:	University of Oxford 1977
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.476377

Similar Items

Design of Interpreters for Programming Languages
by: Ranade, S.
Published: (1976)

Programming Language Facilities for Processing Structured Data in a Computer
by: Lings, B. J.
Published: (1975)

Design and optimisation of scientific programs in a categorical language
by: Ashby, Thomas James
Published: (2005)

Proof Rules, Mathematical Semantics, and Programming Language Design
by: Ligler, G. T.
Published: (1975)

The design and semantic analysis of a programming language and its compiler
by: Henderson, P.
Published: (1970)

Program debugging in high level languages
by: Higley, C. J.
Published: (1973)

A programming language for use in natural language processing
by: Porter, M. F.
Published: (1972)

The graph programming language GP
by: Steinert, Sandra
Published: (2007)

Procedures and processes in programming languages
by: Challis, M. F.
Published: (1971)

High-level interpretive languages and real-time programming
by: Thompson, J. W.
Published: (1977)

End-user programming in multiple languages
by: Hague, R. G.
Published: (2005)

Programming Language Extension for Discrete Event Simulation
by: Kaubisch, W-H.
Published: (1976)

Consistent formal theories of the semantics of programming languages
by: Lauer, P. E.
Published: (1971)

A language for the expression of parallel structure
by: O'Callaghan, Patrick J.
Published: (1978)

A framework for static program analysis of imperative languages
by: Panumong, Vajirapan
Published: (2009)

Secure Extensible Languages, Design of
by: Morton, R. P. McE.
Published: (1975)

Reasoning about correctness properties of a coordination programming language
by: Grov, Gudmund
Published: (2009)

Interaction Nets : Language and Design and Implementation
by: Hassan, Abubakar
Published: (2009)

A High-level Computer Language for Modelling Structured Data
by: Tomlinson, J. C.
Published: (1974)

The design and implementation of command languages for digital computers
by: Jackson, I. R.
Published: (1970)

The design of a run time system for a real time simulation language
by: Lubran, J. F.
Published: (1973)

Design navigation : Recovering design charts from object-oriented programs
by: Gasparis, Epameinondas
Published: (2010)

The Design of Data Base Management Systems Using Linear Programming Techniques
by: Kollias, J. G.
Published: (1976)

Constructing Universes for Generic Programming
by: Morris, Peter W. J.
Published: (2007)

Extracting, organising, designing and reusing Prolog programming techniques
by: de Vasconcelos, Wamberto Weber M. P.
Published: (1995)

Interactive use of a computer in the preparation of structured programs
by: Snowdon, Robert Archer
Published: (1974)

A Brief Study of Existing Computer Programs for Highway Alignment Design, and the Development of a Suite of Computer Programs, the Highway Design Program Group (H.D.P.G.), to Aid this Process
by: Hunter, I. M.
Published: (1975)

Data dependent program generation
by: Quarendon, Peter
Published: (1977)

Theory and design techniques for stored program implementations of sequential systems
by: Hussain, Ahsan M. A.
Published: (1976)

Human factors in the design of parallel program performance tuning tools
by: Hondroudakis, Anna
Published: (1997)

Structural, safe and high-level communications programming with session types
by: Hu, Raymond
Published: (2011)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
by: George, Samuel R. J.
Published: (2014)

The use of proofs-as-programs to build an analogy-based functional program editor
by: Whittle, J. N. D.
Published: (1999)

An Interactive Graphics Language
by: Wyvill, B.
Published: (1975)

Intermediate Languages in Compilation
by: Elsworth, E. F.
Published: (1975)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

Computer Assisted Programming
by: Starr, J. E. O.
Published: (1978)

A Comparative Study of Mechanized on-Line Indexing Languages
by: Jabbour, F. J.
Published: (1975)

An Author Language and Supporting System for Computer Assisted Instruction
by: Ward, J. K.
Published: (1975)