Back to Results
First PageMeta Content
Contract law / Functions and mappings / Lambda calculus / Combinatorics / Factorial / Number theory / Design by contract / Contract / Futures contract / Software engineering / Mathematics / Computer programming


Computational Contracts Christophe Scholliers ´ Tanter Eric
Add to Reading List

Document Date: 2011-10-17 13:23:12


Open Document

File Size: 260,59 KB

Share Result on Facebook

Company

Tyler / /

Country

Netherlands / United States / /

/

Facility

University of California / /

IndustryTerm

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 / /

URL

http /

SocialTag