Victoria University

Browsing School of Mathematics and Statistics · Te Kura Mātai Tatauranga by Subject "Java programming"

ResearchArchive/Manakin Repository

Browsing School of Mathematics and Statistics · Te Kura Mātai Tatauranga by Subject "Java 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 ...
  • Potanin, Alex (Victoria University of Wellington, 2007)
    Modern object-oriented programming languages support many techniques that simplify the work of a programmer. Among them is generic types: the ability to create generic descriptions of algorithms and object structures ...
  • Pearce, David J; Male, Chris; Dymnikov, Constantine; Potanin, Alex (Victoria University of Wellington, 2008)
    Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algorithm. We extend this algorithm to verify ...

Search ResearchArchive


Advanced Search

Browse

My Account

Statistics