Werkstuk

Suggesties

Parallellisme

• Stream-semantiek (ruwweg: 'alle mogelijke scenario's' als semantiek van parallel programma)
• Synchronisatiemechanismen
• Threads in Java

Taalconstructies

• Expressies met zij-effect
• Abrupte terminatie
• Referentietypes (arrays, structs)

Object-oriëntatie

• Encapsulation of Late Binding (moeilijk)
• Threads (parallellisme) in Java
• Semantische verschillen tussen C# en Java

Andere (exotische) talen

• The Semantic Web: RDF, XML, XSL (op welke manier wordt formele semantiek gebruikt voor standaardisatie van deze talen?)
• Reguliere expressie matching in Perl

Perverse talen

• Whitespace
• Taxi
• Andere esoterische talen: webring