3 search results - page 1 / 1 » Generic programming with fixed points for mutually recursive... |
ICFP
2009
ACM
14 years 6 months ago
2009
ACM
ZUM
2000
Springer
13 years 9 months ago
2000
Springer
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...