Travelled to:1 × Australia
1 × Canada
1 × Finland
Collaborated with:P.Müller Á.Darvas F.Mehta
Talks about:check (2) well (2) ownership (1) transfer (1) univers (1) defined (1) specif (1) method (1) formed (1) effici (1)
Person: Arsenii Rudich
DBLP: Rudich:Arsenii
Contributed to:
2008
2008
2007Wrote 3 papers:
- FM-2008-RudichDM #specification
- Checking Well-Formedness of Pure-Method Specifications (AR, ÁD, PM), pp. 68–83.
- IJCAR-2008-DarvasMR #performance
- Efficient Well-Definedness Checking (ÁD, FM, AR), pp. 100–115.
- OOPSLA-2007-MullerR
- Ownership transfer in universe types (PM, AR), pp. 461–478.