Courses/CcmpTylaLogIng2011

From LRDE

Revision as of 15:11, 9 June 2014 by Clément Démoulins (talk | contribs) (Ccmp logs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This page contains the log of the topics of

for Ing1 students of class EPITA 2011 (i.e., from November 2008 to March 2009). The topic was started with the Formal Languages Lecture; see ThlLog2011.

25/11/2008 : Ing1 GrpB : tiger-project-intro + dev-tools
27/11/2008 : Ing1 GrpA : tiger-project-intro + dev-tools (80%)

08/12/2008 : Ing1 GrpA : dev-tools (20%) + history + early-languages + début abstract-syntax (10 %)
09/12/2008 : Ing1 GrpB : dev-tools (20%) + history + early-languages + début abstract-syntax (5%)

15/12/2008 : Ing1 GrpB : abstract-syntax (sections 1 & 2)
15/12/2008 : Ing1 GrpA : abstract-syntax (sections 1 & 2)
16/12/2008 : Ing1 GrpB : abstract-syntax (sections 3 & 4) + generic
18/12/2008 : Ing1 GrpA : abstract-syntax (sections 3 & 4) + generic

05/01/2009 : Ing1 GrpB : scanner (sections 1, 2 & 3)
05/01/2009 : Ing1 GrpA : scanner (sections 1, 2 & 3)

06/01/2009 : Ing1 GrpB : scanner (section 4), Bison stacks, names (section 1, 2 & 3), Q&A on TC-0
08/01/2009 : Ing1 GrpA : scanner (section 4), Bison stacks, names (section 1, 2), Q&A on TC-0

12/01/2009 : Ing1 GrpB : Flex's start conditions, types, Tiger's type implementation, a glimpse of the TypeChecker, sequent calculus hands-on.
12/01/2009 : Ing1 GrpA : Flex's start conditions, types, Tiger's type implementation, a glimpse of the TypeChecker, sequent calculus hands-on.

13/01/2009 : Ing1 GrpB : object, How polymorphic methods are handled in C++ and Tiger. 
15/01/2009 : Ing1 GrpA : names (section 3), object, How polymorphic methods are handled in C++ and Tiger. 

02/02/2009 : Ing1 GrpA : intermediate (up to page 53, Activation Blocks Layout on MIPS)
03/02/2009 : Ing1 GrpB : intermediate (up to page 53, Activation Blocks Layout on MIPS)

09/02/2009 : Ing1 GrpA : intermediate (up to the end of section 3, The Case of the Tiger Compiler)
10/02/2009 : Ing1 GrpB : intermediate (up to the end of section 3, The Case of the Tiger Compiler)

16/02/2009 : Ing1 GrpA : Misc. TC-2. (%destructor, xalloc, select const, non-object visitors), intermediate (up to the end), instr-selection (section 1 and most of section 2)
17/02/2009 : Ing1 GrpB : Misc. TC-2. (%destructor, xalloc, select const, non-object visitors), intermediate (up to the end), instr-selection (section 1 and most of section 2) 

23/02/2009 : Ing1 GrpA : Misc. TC-3. (semantics of declaration blocks, double/triple traversal in declarations), instr-selection (up to the end)
24/02/2009 : Ing1 GrpB : Misc. TC-3. (semantics of declaration blocks, double/triple traversal in declarations), instr-selection (up to the end)

23/03/2009 : Ing1 GrpA : liveness, regalloc, subprograms
23/03/2009 : Ing1 GrpB : liveness, regalloc, subprograms


Note: To be added to the lecture on objects, either in the existing slides or in another document:
 - implementations:
	- vtables (C++)
	- if/switch (SmartEiffel, Tiger)
 - desugaring objects (Tiger)

-- %roland% - 07 Dec 2009