Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Barringer, Howard (Manchester Univ. United Kingdom) Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
April 22, 2015
Publication Date
September 27, 2011
Subject Category
Computer Programming And Software Meeting Information
Meeting: International Conference on Runtime Verification
Location: San Francisco, CA
Country: United States
Start Date: September 27, 2011
End Date: September 30, 2011
Sponsors: Jet Propulsion Lab., California Inst. of Tech.
Distribution Limits
Public
Keywords
domain specific language (DSL)external DSLhigh level programming languageinternal DSLrun-time verification