tiger manual若话可以换个软件.pdfVIP

Tiger Language Reference Prof. Stephen A. Edwards Columbia University This describes the Tiger language defined in Andrew lvalue := expr Appel’s book Modern Compiler Implementation in Java (Cam- id ( expr-listopt ) bridge University Press, 1998). ( expr-seqopt ) The Tiger language is a small, imperative language with in- type-id {field-list opt } teger and string variables, arrays, records, and nested functions. type-id [ expr ] of expr Its syntax resembles some functional languages. if expr then expr if expr then expr else expr 1 Lexical Aspects while expr do expr An identifier is a sequence of letters, digits, and underscores that for id := expr to expr do expr starts with a letter. Case is significant. break Whitespace (spaces, tabs, newlines, returns, and formfeeds) let declaration-list in expr-seqopt end or comments may appear between tokens and is ignored. A com- ment begins with /* and ends with */. Comments may nest. expr-seq: An integer const a sequence of one or more decimal dig- expr its (i.e., 0123456789). There are no negative integer constants; expr-seq ; expr negative numbers may be obtained by negating an integer con- expr-list: stant using the unary - operator. expr A string const