Werkstuk

Suggesties

Parallellisme

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

Querytalen

• SQL

Taalconstructies

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

Nieuwe berekeningswijzen

• Quantum computing
• Onderwerpen uit het seminarium (zie de planning)

Security-aspecten

• Confidentiality

Tools voor correct programmeren en/of semantiek

• Daikon
• JML
• ESC/Java
• Loop
• ASF+SDF
• Cocktail

Object-oriëntatie

• Encapsulation of Late Binding (moeilijk)
• Threads (parallellisme) in Java
• Semantische verschillen tussen C# (de nieuwe Microsoft taal) 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
• Andere esoterische talen: webring