Go backward to Semantics of the Core Language
Go up to Top
Go forward to Semantic Algebras

Semantic Algebras

Bool = {true, false}
not: Bool -> Bool
    not(false) = true; not(true) = false
equalbool: Bool × Bool -> Bool
    equalbool(m, n) = (m=n)

Int = {..., -1, 0, 1, ...}
plus: Int x Int -> Int
    plus(m, n) = m+n
equalint: Int x Int -> Bool
    equalint(m, n) = (m=n)

Location = {loc_i | i>0}


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: core.tex,v 1.3 1996/02/05 10:34:52 schreine Exp schreine

Prev Up Next