Back to Results
First PageMeta Content
Holism / Functional languages / Contract law / Racket / Design by contract / Modularity / Scheme / Contract / External variable / Software engineering / Computer programming / Computing


Nested and Dynamic Contract Boundaries? T. Stephen Strickland and Matthias Felleisen PLT @ Northeastern University {sstrickl,matthias}@ccs.neu.edu Abstract. Previous work on software contracts assumes fixed and statical
Add to Reading List

Document Date: 2015-03-24 18:44:54

Open Document

File Size: 165,42 KB

Share Result on Facebook

/

Facility

Northeastern University / /

IndustryTerm

interim solution / behavioral software contract / software contracts / behavioral software contracts / contract monitoring systems / software engineering considerations / /

Organization

National Science Foundation / US Air Force office of Scientific Research / Northeastern University / /

Person

Matthias Felleisen / T. Stephen Strickland / /

Position

programmer / /

ProgrammingLanguage

PLT Scheme / ML / /

Technology

animation / /

SocialTag