Travelled to:1 × Switzerland
1 × USA
Collaborated with:∅ J.C.Mitchell S.Meldal
Talks about:architectur (1) standard (1) program (1) inherit (1) conform (1) subtyp (1) extens (1) rapid (1) modul (1) test (1)
Person: Neel Madhav
DBLP: Madhav:Neel
Contributed to:
1996
1991Wrote 2 papers:
- AdaEurope-1996-Madhav #ada #architecture #consistency #source code #testing
- Testing Ada 95 Programs for Conformance to Rapide Architectures (NM), pp. 123–134.
- POPL-1991-MitchellMM #inheritance #ml #standard #type system
- An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.