Queens College Presentation

( --> )

Language Specification

We use a Modified Backus Normal Form (MBNF) to
describe the syntax of Java constructs.

Furthermore, for purely suggestive purposes we label
specifications with one of three "tag pairs".

Constructs which are most naturally interpreted
in object-oriented terms are specified with message
form and object behavior tags.
Constructs which are most naturally interpreted
in functional terms are specified with form and
function tags.
Other constructs are specified with syntax and
semantics tags.

We use broken English to describe associated semantics.