Strict Standards: Declaration of Doku_Renderer_metadata::table_open() should be compatible with Doku_Renderer::table_open($maxcols = NULL, $numrows = NULL, $pos = NULL) in /var/www/operationalsemantics.net/public_html/behaviouralwiki/inc/parser/metadata.php on line 24

Strict Standards: Declaration of Doku_Renderer_metadata::table_close() should be compatible with Doku_Renderer::table_close($pos = NULL) in /var/www/operationalsemantics.net/public_html/behaviouralwiki/inc/parser/metadata.php on line 24

WG1 report 2013 (current draft)

1. Calculus, language, model

2. Typing

3. Subtyping, refinement, projection

4. Liveness (progress in particular)

5. Logic (linear, design by contract, etc)

6. Exceptions, events

7. Equivalences, expressiveness, embeddings

8. Algorithms