Browsing by Author "Noble, James"
Now showing 1 - 20 of 21
- Results Per Page
- Sort Options
Item Restricted COMP205: Computer Science: Software Design and Engineering(Victoria University of Wellington, 2005) Noble, JamesItem Restricted COMP205: Computer Science: Software Design and Engineering(Victoria University of Wellington, 2009) Noble, JamesItem Restricted COMP462: Computer Science: Object Oriented Paradigms(Victoria University of Wellington, 2009) Noble, JamesItem Restricted COMP462: Computer Science: Object Oriented Paradigms(Victoria University of Wellington, 2005) Noble, JamesItem Restricted COMP462: Computer Science: Object Oriented Paradigms(Victoria University of Wellington, 2005) Noble, JamesItem Restricted COMP462: Computer Science: Object Oriented Paradigms(Victoria University of Wellington, 2009) Noble, JamesItem Restricted COMP462: Computer Science: Object Oriented Paradigms(Victoria University of Wellington, 2008) Noble, JamesItem Restricted COMP462: Computer Science: Object Oriented Paradigms(Victoria University of Wellington, 2008) Noble, JamesItem Restricted COMP463: Computer Science: Advanced Software Engineering(Victoria University of Wellington, 2009) Noble, JamesItem Restricted COMP463: Computer Science: Advanced Software Engineering(Victoria University of Wellington, 2009) Noble, JamesItem Restricted ENGR202: Engineering Technology: Software Design(Victoria University of Wellington, 2009) Noble, JamesItem Restricted Featherweight Generic Confinement(Te Herenga Waka—Victoria University of Wellington, 2006) Noble, James; Potanin, Alex; Biddle, Robert; Clarke, DaveExisting 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 type systems require extensive changes to programming languages. We demonstrate that confinement can be enforced cheaply in Featherweight Generic Java, with no essential change to the underlying language or type system. This result demonstrates that polymorphic type parameters can simultaneously act as ownership parameters and should facilitate the adoption of confinement and ownership type systems in general-purpose programming languages.Item Restricted Snapshot Query-Based Debugging(Te Herenga Waka—Victoria University of Wellington, 2004) Noble, James; Potanin, Alex; Biddle, RobertObject-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 to debug if incorrect. Unfortunately, very subtle bugs in object-oriented programs are directly caused by object graph topologies. Snapshot query-based debuggers let programmers examine object graph snapshots of programs in detail using a specially designed query language. This provides users with an ability to debug and examine their programs in great detail at the time when the memory snapshot is taken.Item Restricted SWEN102: Software Engineering: Introduction to Software Modelling(Victoria University of Wellington, 2007) Noble, JamesItem Restricted SWEN102: Software Engineering: Introduction to Software Modelling(Victoria University of Wellington, 2008) Noble, JamesItem Restricted SWEN102: Software Engineering: Introduction to Software Modelling(Victoria University of Wellington, 2012) Noble, JamesItem Restricted SWEN423: Software Engineering: Object-Oriented Paradigms(Victoria University of Wellington, 2010) Noble, JamesItem Restricted SWEN423: Software Engineering: Object-Oriented Paradigms(Victoria University of Wellington, 2017) Noble, JamesItem Restricted SWEN425: Software Engineering: Design Patterns(Victoria University of Wellington, 2011) Noble, JamesItem Restricted SWEN425: Software Engineering: Design Patterns(Victoria University of Wellington, 2010) Noble, James
