The Varieties of Programming Language

The Varieties of Programming Language

Podrobná bibliografie
Hlavní autor:	Hoare, C
Médium:	Conference item
Vydáno:	Springer 1989

Podobné jednotky

Hints on Programming Language Design
Autor: Hoare, C
Vydáno: (1974)

Notes on the Standardisation of Programming Languages
Autor: Hoare, C
Vydáno: (1975)

The High Cost of Programming Languages
Autor: Hoare, C
Vydáno: (1976)

Programming Languages: Predictions and Prospects
Autor: Hoare, C
Vydáno: (1968)

A Programming Language for Processor Construction
Autor: Hoare, C
Vydáno: (1965)

Programming Language Design: Principles and Practices
Autor: Hoare, C
Vydáno: (2015)

Prospects for a Better Programming Language
Autor: Hoare, C
Vydáno: (1972)

An Axiomatic Definition of the Programming Language PASCAL
Autor: Hoare, C
Vydáno: (1972)

A Model for Programming Language Semantics
Autor: Hoare, C
Vydáno: (1975)

Categorical Semantics for Programming Languages
Autor: He, J, a další
Vydáno: (1989)

High Level Programming Languages‚ the Way Behind
Autor: Hoare, C
Vydáno: (1973)

An Axiomatic Definition of the Programming Language PASCAL
Autor: Hoare, C, a další
Vydáno: (1973)

Hints on the Design of a Programming Language for Real−time Command and Control
Autor: Hoare, C
Vydáno: (1976)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
Autor: Hoare, C, a další
Vydáno: (1974)

Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask
Autor: Hoare, C
Vydáno: (1978)

Limitations on Languages
Autor: Hoare, C
Vydáno: (1968)

Varieties of formal languages /
Autor: 423861 Pin, J. E., a další
Vydáno: (1986)

Structured Programming in Introductory Programming Courses
Autor: Hoare, C
Vydáno: (1976)

Program Documentation
Autor: Hoare, C
Vydáno: (1968)

Programs are Predicates
Autor: Hoare, C
Vydáno: (1985)

Programs are Predicates
Autor: Hoare, C
Vydáno: (1992)

Hoare on Programming
Autor: Hoare, C
Vydáno: (2015)

The Mathematics of Programming
Autor: Hoare, C
Vydáno: (1986)

The Mathematics of Programming
Autor: Hoare, C
Vydáno: (2015)

Programs are Predicates
Autor: Hoare, C
Vydáno: (1992)

Parallel Programming
Autor: Hoare, C
Vydáno: (2015)

Application−Oriented Languages: Project Summary
Autor: Hoare, C
Vydáno: (2015)

Program Correctness Proofs
Autor: Hoare, C
Vydáno: (1975)

Programming is an Engineering Profession
Autor: Hoare, C
Vydáno: (1983)

Programming: Sorcery or Science
Autor: Hoare, C
Vydáno: (2015)

Unified Theories of Programming
Autor: Hoare, C
Vydáno: (2015)

Specifications‚ Programs and Implementations
Autor: Hoare, C
Vydáno: (1982)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
Autor: Hoare, C
Vydáno: (1978)

Parallel Programming: An Axiomatic Approach
Autor: Hoare, C
Vydáno: (1975)

The Elliott ALGOL Programming System
Autor: Hoare, C
Vydáno: (1964)

An Axiomatic Basis of Computer Programming
Autor: Hoare, C
Vydáno: (2015)

Computer Programming as an Engineering Discipline
Autor: Hoare, C
Vydáno: (1973)

Proof of a Program: FIND
Autor: Hoare, C
Vydáno: (1971)

An Axiomatic Basis for Computer Programming
Autor: Hoare, C
Vydáno: (1969)

Varieties of English : an introduction to the study of language /
Autor: 322639 Freeborn, Dennis, a další
Vydáno: (1986)