SCOOP-A3: Compiler adaptation: Difference between revisions

Revision as of 10:58, 5 June 2010

Not Ready for Review: This Page is Under Development!

Parser
- Support only separate type declarations (exclude separate class declarations).
- Provide syntax to refer to the processors.
- Take into account the possibility to use anchors.
Type checking introduces new
- Conformance rules that affect type system
- Validity rules that require good description of errors
Code generation is closely connected with work on the scheduler (A1, A2) and should target
- bytecode
- C code
- CIL code

@@ Line 4: / Line 4: @@
 Team: [[User:Alexander Kogtenkov|Alexander Kogtenkov]], [[User:Ted|Ted]]
-* Parsing is already taken care of
+* '''Parser'''
-* Code generation closely connected with work on the scheduler (A1, A2)
+** Support only separate type declarations (exclude separate class declarations).
-* Validity rules are important; part of the challenge is to turn the SCOOP type system
+** Provide syntax to refer to the processors.
-  (devised by Piotr Nienaltowski) into compiler verifications and meaningful error messages.
+** Take into account the possibility to use anchors.
+* '''Type checking''' introduces new
+** Conformance rules that affect type system
+** Validity rules that require good description of errors
+* '''Code generation''' is closely connected with work on the scheduler (A1, A2) and should target
+** bytecode
+** C code
+** CIL code