previous up next
Go backward to Semantics of the Core Language
Go up to Top
Go forward to Semantic Algebras
RISC-Linz logo

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 = {loci | i>0}


Author: Wolfgang Schreiner
Last Modification: March 26, 1998

previous up next