Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
---|---|---|---|---|---|
SS03 | Specification and synthesis of Haskell programs | Bremen | T. Mossakowski | AoP , FP , Haskell | |
ELINFO 01A00062 | 1 | Formal Methods in Systems Modeling | Gent | R.T. Boute | AoP , FPT |
MP-I | 2 | Programming Methodology I | Minho | J.N. Oliveira | AoP , FP , GHC , Haskell , Hugs |
MFP-I | 4 | Formal Methods I | Minho | J.N. Oliveira | AoP , FPT , MPC , VDMSL , VDMT |
MFP-II | 4 | Formal Methods II | Minho | J.N. Oliveira | AoP , DRef , MPC , VDMSL , VDMT , VPP |
G53PAL | 3 | Programming Algebra | Nottingham | R. Backhouse | AoP , FixP , PolyT |