Back to Results
First PageMeta Content
Logic in computer science / Programming paradigms / Program logic / Programming language semantics / Substructural logic / Separation logic / Class invariant / Invariant / Loop invariant / Theoretical computer science / Software engineering / Mathematics


09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs  Dagstuhl Seminar 
Add to Reading List

Document Date: 2010-02-24 02:50:07

Open Document

File Size: 189,03 KB

Share Result on Facebook

City

Rochester / Redmond / Paris / Cambridge / /

Company

Eastman Kodak Comp / Microsoft Research UK / /

Country

United States / /

/

Facility

Princeton University / Tel Aviv University / Carnegie Mellon University / Stevens Institute of Technology / Imperial College / Queen Mary College / University of Central Florida / University of Cambridge / Madrid Institute / Schloss Dagstuhl Leibniz Center / LIAFA University / University of London / store Martin Hofmann / University of Colorado / /

IndustryTerm

automatic tool / active object systems / non-blocking algorithms / non-trivial algorithms / web software / appropriate invariant protocol / interprocedural analysis algorithm / invariant protocols / /

OperatingSystem

Linux / Singularity / /

Organization

Queen Mary College / Madrid Institute for Advanced Studies / National Science Foundation / Imperial College London / University of Colorado / Princeton University / Stevens Institute of Technology / Schloss Dagstuhl Leibniz Center for Informatics / University of Cambridge / Tel Aviv University / University of Central Florida - Orlando / Carnegie Mellon University - Pittsburgh / University of London / /

Person

Andrew W. Appel / Joerg Kreiker / Shmuel Mooly Sagiv Veri / Dino Distefano / Shmuel Mooly / Alexey Gotsman / Jonathan Aldrich / Cristiano Using Stereotypes / Etienne Lozes / Martin Hofmann / Sophia Drossopoulou / Andrew Benton / Shmuel Mooly Sagiv / Evan Chang / Emmi / Peter O'Hearn / David Cok / Shmuel Mooly Sagiv Proving Copyless / Gary T. Leavens / Nicolas Meta Predicate / Stan Rosenberg Keywords / David A. Naumann / Michael Barnett / /

Position

driver / head / Executive / Coq proof assistant / /

ProgrammingLanguage

C / /

ProvinceOrState

Florida / California / Colorado / /

Region

Central Florida / /

Technology

virtual machine / interprocedural analysis algorithm / analysis algorithm / Linux / operating system / shared memory / pdf / non-blocking algorithms / appropriate invariant protocol / non-trivial algorithms / /

URL

http /

SocialTag