PLC - 大久保弘崇

Programming Language Concepts

公式：http://www.itu.dk/people/sestoft/plc/

2013/4/18開始

Errata

p.10 Exercise1.1(v) typo

to evaluate th expression
to evaluate the expression

p.11 Exercise1.3 typo

fmt : int -> expr -> string
fmt : int -> aexpr -> string

p.18 L.2 typo

to 22, not to -1.
to 22, not to 1.

p.26 Fig 2.4

insert '}' before 'return', corresponding to switch

p.32

fslex and fsyacc are not included in current distribution.

p.34 typo

There are eight productions (seven for Expr and one for Main),
There are nine productions (eight for Expr and one for Main),

p.46 L.12

PLUS in the second line
PLUS in the first line

p.64 L.2

evaluates to false.
evaluates to true.

p.72

(line1), (line2) -> first / second commented line

p.103

not 64

p.124 Fig 7.6

Return from method -> function

p.134, 135

MicroC -> micro-C

p.138 L.-5

printi -> PRINTI

p.146 Fig 8.5

stmtordecs

no separator needed, or should use ';'
INCSP locals -> INCSP -n. where n is the number of stmtordecs in this block

return

locals is the number of local variables of current function, current point

p.148 Fig 8.7

p.148, end of L.-7

p.149

CST 0 expression
CST 0 instruction

CALL(n, labf)
CALL n, labf

p.150

the values the represent
the values they represent

p.152 Exercise 8.3

Extending lexer and parser for ++ and -- are Exercise 7.5.

p.192

the freelist register is updated to point to the free block’s successor
the freelist is updated so that it skips the free block

p.192

If no sufficiently large object is found
If no sufficiently large block is found

p.194

ex30.lt -> ex30.lc

p.226 L.6

be bound to -> be assigned to

p.227

onto the front of the code C
onto the front of the code continuation C

p.228, end of L.8

remove close parenthesis

p.245

type fsi for F# Interactive. fsi It allows
delete the second fsi

p.258 A.9.1 typo

ge\texttt{}tphone2 (Student "Niels");;

ignore a tex command "\texttt{}"