Books · Search
Development · Congresses
TAPSOFT '95
1995
CASL (Computer program language)
CASL Reference Manual
2004
Programming languages (Electronic computers) · Semantics
Action semantics
1992
CASL (Computer program language) · Programming languages (electronic computers)
CASL user manual
2003
Recent trends in algebraic development techniques
2000
Computer science · Programming languages (Electronic computers)
Action Semantics (Cambridge Tracts in Theoretical Computer Science)
2005
Action Semantics
2010
Mathematical semantics and compiler generation
1975
ALGOL (Computer program language)
The mathematical semantics of Algol 60
1974
Recent Trends in Algebraic Development Techniques
2008
CASL reference manual
