BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rudich:Arsenii

Contributed to:

FM 20082008
IJCAR 20082008
OOPSLA 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.