Travelled to:
1 × Canada
1 × United Kingdom
Collaborated with:
S.Krishnamurthi Y.Ahmad S.Goldwater P.A.Steckler E.Neuwirth M.Felleisen
Talks about:
spreadsheet (2) program (1) correct (1) system (1) static (1) detect (1) valid (1) error (1) unit (1) type (1)
Person: Tudor Antoniu
DBLP: Antoniu:Tudor
Contributed to:
Wrote 2 papers:
- ICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet #validation
- Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.
- ASE-2003-AhmadAGK #detection #fault #spreadsheet #type system
- A Type System for Statically Detecting Spreadsheet Errors (YA, TA, SG, SK), pp. 174–183.