Results 301 to 306 of about 237,500 (306)

An action semantics of standard ML

1988
Action semantics is a form of denotational semantics that is based on abstract semantic algebras rather than Scott domains and λ-notation. It allows formal descriptions of programming languages to be written that are unusually readable and modular. This paper presents an action-semantic description of Standard ML, as evidence for the claimed merits of ...
openaire   +2 more sources

REMARKS ON ACTION-THEORETIC SEMANTICS

Theoretical Linguistics, 1983
openaire   +3 more sources

Semantical Analysis of Logic of Actions

Journal of Logic and Computation, 1995
Michael Tiomkin, Michael Kaminski
openaire   +2 more sources

Action Semantic Descriptions

1992
openaire   +2 more sources

Visualizing action semantics

Proceedings of the 1995 ACM 23rd annual conference on Computer science - CSC '95, 1995
openaire   +1 more source

A Vector Semantics for Actions

1992
openaire   +1 more source