| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 9 of 9
reviews
|
|
|
 |
|
|
|
|
An introduction to metric semantics: operational and denotational models for programming and specification languages
Breugell F. Theoretical Computer Science 258(1-2): 1-98, 2001. Type: Article
This paper is a tutorial introduction to semantics based on metric spaces. Similar material has appeared before in research papers, collections [1], and monographs [2,3]....
|
Oct 1 2001 |
|
|
|
|
|
|
A denotational semantics for a process-based simulation language
Tofts C., Birtwistle G. ACM Transactions on Modeling and Computer Simulation 8(3): 281-305, 1998. Type: Article
The authors describe a formal translation from &mgr;Demos, the kernel of the process-based simulation language Demos, to Milner’s CCS process algebra. They call this translation a denotational semantics and claim that it ...
|
May 1 1999 |
|
|
|
|
|
|
Tail recursion through universal invariants
Jay C. Theoretical Computer Science 115(1): 151-189, 1993. Type: Article
Fixed points and initial algebras are familiar techniques in the semantics of data types. This work proposes the use of invariants, which are, in a certain sense, dual to fixed points. The aim is to interpret data types in a way that c...
|
Oct 1 1994 |
|
|
|
|
|
|
On a generalized product for domains
Dosch W. Theoretical Computer Science 119(1): 103-125, 1993. Type: Article
The domain operation described is an n-ary product that allows an arbitrary specified subset of the n components of n-ary tuples to be the “bottoms” of their ...
|
Oct 1 1994 |
|
|
|
|
|
|
Integrating the structured analysis and design models: a category-theoretic approach
Tse T. Australian Computer Journal 19(1): 25-31, 1987. Type: Article
This work outlines an attempt to use category-theoretic concepts to unify and integrate various approaches to system analysis and design. A category of structured task specifications and abstractions is defined. It is then claimed, tho...
|
Sep 1 1988 |
|
|
|
|
|
|
Introduction to higher order categorical logic
Lambek J., Scott P., Cambridge University Press, New York, NY, 1986. Type: Book (9789780521246651)
This book attempts to reconcile two approaches to the foundations of mathematics: mathematical logic and category theory. The contents can be briefly summarized as follows. There is an introductory Part 0 on category theory, following ...
|
Dec 1 1987 |
|
|
|
|
|
|
Two complete axiom systems for a theory of communicating sequential processes
de Nicola R. Information and Control 64(1-3): 136-172, 1985. Type: Article
The first part of this paper presents a set of axioms which is shown to be complete relative to the “refusals set” semantics of Brookes et al. [1] for a CSP-like language. In the second part, slightly different sema...
|
Oct 1 1986 |
|
|
|
|
|
|
The denotational semantics of dynamic networks of processes
de Bruin A., Böhm W. ACM Transactions on Programming Languages and Systems 7(4): 656-679, 1985. Type: Article
This paper presents a formal description of a language based on the well-known Kahn and MacQueen model of parallel processes [1,2]. The main semantic idea (fixed-points of stream functions) was already given in the original papers, but...
|
Apr 1 1986 |
|
|
|
|
|
|
A basic abstract semantic algebra
Mosses P. Semantics of data types (, Sophia-Antipolis, France, Jun 27-29, 1984) 1081984. Type: Proceedings
The author here continues his long-term project of trying to improve the modularity, modifiability, and comprehensibility of semantic descriptions by the use of “abstract semantic algebras” (i.e., axiomatically-spec...
|
Jun 1 1985 |
|
|
|
|
|
| |
|
|
| |
|
|
