S. Cater and J. Huggins. An ASM Dynamic Semantics for Standard ML. Technical Report CPSC-1999-2, Kettering University, 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....over dynamic functions, evaluating initially all to the same element undef, free generated terms, or constructors are expected to map to the same element, if and only if all their arguments are equal. This concept corresponds to free data types in functional programming languages like Standard ML [23, 9] or term algebras in algebraic specifications [12] XASM features an untyped variant of classical constructor terms, as well as pattern matching and derived functions. These three features form a pure functional subset of XASM, but can as well be mixed freely with other features of XASM. The ....

S. C. Cater and J. K. Huggins. An ASM dynamic semantics for standard ML. In Gurevich et al. [19], pages 203--223.

....into the bare language and thus given semantics by our ASM descriptions. For brevity, we omit discussion of SML constructs dealing with structure restrictions, functor applications, layered patterns, declarations, and value bindings; a full discussion of these constructs may be found in [CH99]. We assume familiarity with sequential ASMs in the following sections; see [Gur91] for an introduction to sequential ASMs. 2 ASM for SML: Simple Expressions We now describe an ASM which acts as an intepreter for SML programs. Since we are solely concerned with the dynamic semantics of SML ....

S. Cater and J. Huggins. An ASM Dynamic Semantics for Standard ML. Technical Report CPSC-1999-2, Kettering University, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC