๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Towards a theory of mathematical operational semantics

โœ Scribed by John Power

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
167 KB
Volume
82
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Toward a semantic general theory of ever
Toward a semantic general theory of everything
โœ Alexei V. Samsonovich; Rebecca F. Goldin; Giorgio A. Ascoli ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 133 KB
Operational Semantics of a Focusing Debu
Operational Semantics of a Focusing Debugger
โœ Karen L. Bernstein; Eugene W. Stark ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 737 KB

This paper explores two main ideas: (1) a debugger for a programming language ought t o h a ve a formal semantic de nition that is closely allied to the formal definition of the language itself and (2) a debugger for very high level programming language ought to provide support for exposing hidden i

A mathematical semantics of rendering: I
A mathematical semantics of rendering: II. Approximation
โœ Eugene Fiume ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Elsevier Science โš– 594 KB

This paper continues the development of the mathematical semantics of rendering begun in Part I. The notion of intensity measure is extended to include the precise characterization of discrete, area-sampling rendering schemes. Such schemes may then be reviewed as rendering techniques in themselves o