Back to Results
First PageMeta Content
Mathematical logic / Program logic / Formal methods / Postcondition / First-order logic / Hoare logic / Model checking / Separation logic / Well-formed formula / Theoretical computer science / Logic in computer science / Logic


Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3
Add to Reading List

Document Date: 2007-11-16 10:14:07

Open Document

File Size: 215,53 KB

Share Result on Facebook

City

Programme / /

Facility

Swiss Federal Institute of Technology / National University of Singapore Abstract / /

IndustryTerm

analysis tools / computing / software libraries / call site / /

Organization

Swiss Federal Institute of Technology / National University of Singapore / Department of Computer Science / Singapore-MIT Alliance / /

Person

Huu Hai / /

/

Position

modified interpreter / /

ProgrammingLanguage

R / C / XML / Java / L / /

Technology

virtual machine / ISP / XML / operating system / Java / /

SocialTag