John Michael Potter

发表

Overcoming Representation Exposure

James Noble, John Potter, Dave Clarke, 1999, ECOOP Workshops.

Conglomeration: Realising aliasing protection

James Noble, John Potter, J. Noble, 2000 .

Microsoft Word-aop-workshop–

J. Noble, D. Holmes, John Michael Potter, 1998 .

Aligning the Map Requirements Modelling with the B-method for Formal Software Development

Vladimir Tosic, John Potter, Abdul Babar, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

On Ownership and Accessibility

Yi Lu, John Potter, Yi Lu, 2006, ECOOP.

Protecting representation with effect encapsulation

Yi Lu, John Potter, Yi Lu, 2006, POPL '06.

A Type System for Reachability and Acyclicity

Yi Lu, John Potter, Yi Lu, 2005, ECOOP.

The ins and outs of objects

James Noble, John Potter, Dave Clarke, 1998, Proceedings 1998 Australian Software Engineering Conference (Cat. No.98EX233).

Ownership types for flexible alias protection

James Noble, John Potter, Dave Clarke, 1998, OOPSLA '98.

Flexible Alias Protection

Jan Vitek, James Noble, John Potter, 1998, ECOOP.

Lock selection made easy

John Potter, Abdelsalam Shanneb, Abdelsalam Shanneb, 2006, Australian Software Engineering Conference (ASWEC'06).

Exclusion requirements and potential concurrency for composite objects

James Noble, John Potter, Abdelsalam Shanneb, 2005, Sci. Comput. Program..

Exclusion for composite objects

David Holmes, James Noble, John Potter, 2000, OOPSLA '00.

Scalability for graph based CASE tools

Mark Sifer, John Potter, M. Sifer, 1994, Proceedings of 1st Asia-Pacific Software Engineering Conference.

Interprocedural side-effect analysis for incomplete object-oriented software modules

Jingling Xue, John Potter, Phung Hua Nguyen, 2007, J. Syst. Softw..

Structural Lock Correlation with Ownership Types

Yi Lu, Jingling Xue, John Potter, 2013, ESOP.

Ownership Types for Object Synchronisation

Yi Lu, Jingling Xue, John Potter, 2012, APLAS.

Aspects of synchronisation

David Holmes, James Noble, John Potter, 1997, Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239).

Aspects of Synchronization

James Noble, John Potter, David Holmes, 1997 .

As pe c t s o f Sync hron i s a t i on

J. Noble, D. Holmes, John Michael Potter, 2007 .

Scalable Visualizations of Object-Oriented Systems with Ownership Trees

James Noble, John Potter, Trent Hill, 2002, J. Vis. Lang. Comput..

Scalable visualisations with ownership trees

James Noble, John Potter, Trent Hill, 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.

Validity Invariants and Effects

Yi Lu, Jingling Xue, John Potter, 2007, ECOOP.

Simple Ownership Types for Object Containment

James Noble, John Potter, Dave Clarke, 2001, ECOOP.

Simple Ownership Types for Obje tContainmentDavid

J. Noble, John Michael Potter, G. Clarke, 2001 .

Responsive Bisimulation

John Potter, Xiaogang Zhang, Xiaogang Zhang, 2002, IFIP TCS.

A compositional approach to concurrent objects

John Potter, Xiaogang Zhang, Xiaogang Zhang, 1998, Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224).

Effective Synchronisation of Concurrent Objects: Laying the Inheritance Anomaly to Rest

David Holmes, James Noble, John Potter, 2007 .

A Theory of Compositional Concurrent Objects

J. Potter, Xiaogang Zhang, John Michael Potter, 2022 .

Object ownership for dynamic alias protection

James Noble, John Potter, Dave Clarke, 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32.

Characterisation of Terminating Logic Programs

John Potter, Thomas Vasak, John Michael Potter, 1986, SLP.

Adapting the personal software process (PSP) to formal methods

John Potter, Abdul Babar, Abdul Babar, 2005, 2005 Australian Software Engineering Conference.