Axiomatic Semantics
Axiomatic Semantics
is an approach based on
mathematical logic
to proving the
correctness
of
computer programs
. It is closely related to
Hoare logic
.
See also
denotational semantics
operational semantics
<< Previous
Word Browser
Next >>
watkins glen international
bitterroot range
fan elite
chinatown bus lines
niagara campaign
lalibela
ken sakamura
kaori mochida
ying chen
d'oh!
mitsuru igarashi
sally mann
slippy toad
sulejman tihic
adurant
mesoscale meterology
fanfare for st edmundsbury
mr. game & watch
justice prisoner and alien transportation system
gus suhr
cadmium pigments
designated marksman
jpats
ichiro ito
need for speed
denethor (first age)
official scorer
cloaca
jaywalking
takeda awards
bootsauce
everlasting
ellis o. knox
daniels & fisher tower
caisson
gorzyce gorzyczki
uss tuna (ss 203)
uss gar (ss 206)
uss tambor (ss 198)
karearea
language of flowers
in the country of last things
kigo
lycopodiophyta
Copyright 2005-2009 OnPedia.com. All Rights Reserved