sound protocol / e - w / sound volume protocol / given protocol / state-protocol / contract systems / e - a / protocols / higher-order contract systems / pre/post contract systems / software development / e - i / computational contract applications / normal protocol / prohibit/c create-window-protocol / function applications / aspect technology / said protocol / prior higher-order contract systems / software correctness methodology / select applications / higher-order pre/post contract systems / internal module applications / usage protocol / e - b / e - p / type systems / open-close-protocol / meta object protocol / interaction protocols / /
Organization
Institute for the Promotion / University of California at Santa Barbara / Santa Barbara / /
Person
Eric Wolfgang De / Christophe Scholliers / Tony Hoare / Barbara Liskov / / /
Position
Guard / function guard / programmer / /
ProgrammingLanguage
Java / Smalltalk / C / Python / Haskell / Tcl / Perl / Ada / CLU / Groovy / AspectJ / Ruby / Common Lisp / JavaScript / C++ / /
ProvinceOrState
Manitoba / California / /
Technology
Functional programming / meta object protocol / usage protocol / prohibit/c create-window-protocol / sound protocol / Perl / Quality of Service / said protocol / interaction protocols / Java / finite state machine / sound volume protocol / 4.3 Usage Protocols / given protocol / dom / aspect technology / 4.4 Usage Protocols / normal protocol / Context The protocols / /