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
Taalconstructies
- Expressies met zij-effect
- Abrupte terminatie
- Referentietypes (arrays, structs)
Nieuwe berekeningswijzen
Security-aspecten
Tools voor correct programmeren en/of semantiek
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