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 × Belgium
1 × Canada
1 × Estonia
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × United Kingdom
2 × China
5 × Australia
6 × USA
Collaborated with:
J.Noble Y.Lu D.G.Clarke X.Zhang G.Jalloul J.Xue D.Holmes A.Shanneb M.Chan G.H.Outhred A.Wabenhorst R.Soley C.Mingins T.Vasak T.Hill J.Vitek R.Shelswell I.Joyner C.Zhang
Talks about:
object (7) ownership (6) type (5) protect (4) eiffel (4) model (4) composit (3) flexibl (3) system (3) effect (3)

Person: John Potter

DBLP DBLP: Potter:John

Facilitated 2 volumes:

TOOLS Pacific 1993Ed
TOOLS Pacific 1992Ed

Contributed to:

ESOP 20132013
ESOP 20122012
ECOOP 20072007
TOOLS Europe 20072007
ECOOP 20062006
ICPR v4 20062006
POPL 20062006
ECOOP 20052005
ECOOP 20012001
OOPSLA 20002000
TOOLS Pacific 20002000
TOOLS USA 20002000
TOOLS Pacific 19991999
ECOOP 19981998
OOPSLA 19981998
TOOLS Asia 19981998
TOOLS USA 19981998
EDOC 19971997
TOOLS Pacific 19971997
TOOLS USA 19971997
TOOLS Pacific 19931993
TOOLS Pacific 19921992
SLP 19861986

Wrote 28 papers:

ESOP-2013-LuPX #correlation
Structural Lock Correlation with Ownership Types (YL, JP, JX), pp. 391–410.
ESOP-2012-LuPZX #parallel #source code #thread
A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
ECOOP-2007-LuPX #invariant
Validity Invariants and Effects (YL, JP, JX), pp. 202–226.
TOOLS-EUROPE-2007-PotterS #incremental
Incremental Lock Selection for Composite Objects (JP, AS), pp. 477–494.
ECOOP-2006-LuP #on the
On Ownership and Accessibility (YL, JP), pp. 99–123.
ICPR-v4-2006-ChanP #music #recognition
Recognition of Musically Similar Polyphonic Music (MC, JP), pp. 809–812.
POPL-2006-LuP #encapsulation #representation
Protecting representation with effect encapsulation (YL, JP), pp. 359–371.
ECOOP-2005-LuP #reachability #type system
A Type System for Reachability and Acyclicity (YL, JP), pp. 479–503.
Simple Ownership Types for Object Containment (DGC, JN, JP), pp. 53–76.
Exclusion for composite objects (JN, DH, JP), pp. 13–28.
TOOLS-PACIFIC-2000-HillNP #scalability #visualisation
Scalable Visualisations with Ownership Trees (TH, JN, JP), pp. 202–213.
Object Structuring Techniques (JP), pp. 443–444.
TOOLS-PACIFIC-1999-NobleCP #alias
Object Ownership for Dynamic Alias Protection (JN, DGC, JP), pp. 176–187.
ECOOP-1998-NobleVP #alias #flexibility
Flexible Alias Protection (JN, JV, JP), pp. 158–185.
OOPSLA-1998-ClarkePN #alias #flexibility
Ownership Types for Flexible Alias Protection (DGC, JP, JN), pp. 48–64.
TOOLS-ASIA-1998-ZhangP #approach #composition #concurrent
A Compositional Approach to Concurrent Objects (XZ, JP), pp. 116–126.
TOOLS-USA-1998-PotterSJ #inheritance #library
Library Interoperability via Inheritance (JP, RS, IJ), pp. 71–83.
EDOC-1997-OuthredP #distributed #enterprise #flexibility
A Flexible Service Selection Model for Enterprise Distributed Systems (GHO, JP), p. 227–?.
TOOLS-PACIFIC-1997-HolmesNP #aspect-oriented
Aspects of Synchronization (DH, JN, JP), pp. 2–14.
TOOLS-PACIFIC-1997-NobleP #design pattern
Applying Design Patterns (JN, JP), pp. 355–356.
TOOLS-PACIFIC-1997-WabenhorstP #java #modelling #multi #thread
Modelling Multi-Threading in Java (AW, JP), pp. 153–164.
TOOLS-PACIFIC-1997-ZhangP #calculus #modelling
Class-Based Models in the -Calculus (XZ, JP), pp. 238–251.
TOOLS-USA-1997-PotterS #eiffel #java #named #question
Keynotes: Java and Eiffel: A de facto relationship? (JP, RS), p. 3.
TOOLS-PACIFIC-1993-JalloulP #eiffel
A Separate Proposal for Eiffel (GJ, JP), pp. 63–74.
TOOLS-PACIFIC-1993-PotterM #design #eiffel #object-oriented
Object-Oriented Design — the Eiffel Method (JP, CM), p. 320.
TOOLS-PACIFIC-1992-JalloulP #concurrent #eiffel #modelling
Models for Concurrent Eiffel (GJ, JP), pp. 183–191.
TOOLS-PACIFIC-1992-Potter #design #reuse #usability
Designing for Reusability (JP), p. 239.
SLP-1986-VasakP86 #logic programming #source code
Characterisation of Terminating Logic Programs (TV, JP), pp. 140–147.

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.