Correctness of data representations in Algol-like languages

Materias

• Programming languages (Electronic computers)
• Semantics

Ediciones (1)

• Correctness of data representations in Algol-like languages (1993)

  LFCS, Dept. of Computer Science, University of Edinburgh · inglés

Más obras de R. D. Tennent

FFunctor-category semantics of programming languages and logi

Functor-category semantics of programming languages and logics

ALGOL-like languages

TThe effect of Gaussian criterion noise in signal detection t

The effect of Gaussian criterion noise in signal detection theory