Primitive Data Types in REFEREE #1
Primitive Data Types in REFEREE #1
tri-value
TRUE, FALSE, UNKNOWN
statement
a s-expression
a pair of (
,
), both are also s-expression
example: (“code-signing”, ((virus-checked TRUE) (network-access FALSE) … ) )
Previous slide
Next slide
Back to the first slide
View Graphic Version