Victoria University

Browsing by Subject "Object-oriented programming"

ResearchArchive/Manakin Repository

Browsing by Subject "Object-oriented programming"

Sort by: Order: Results:

  • Noble, James; Potanin, Alex; Biddle, Robert; Clarke, Dave (Victoria University of Wellington, 2006)
    Existing approaches to object encapsulation either rely on ad hoc syntactic restrictions or require the use of specialised type systems. Syntactic restrictions are difficult to scale and to prove correct, while specialised ...
  • Dymnikov, Constantine (Victoria University of Wellington, 2013)
    Object ownership allows us to statically control run-time aliasing in order to provide a strong notion of object encapsulation. Unfortunately in order to use ownership, code must first be annotated with extra type ...
  • Noble, James; Potanin, Alex; Biddle, Robert (Victoria University of Wellington, 2004)
    Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult to design correctly and even more difficult ...

Search ResearchArchive


My Account