BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
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.
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.