1 / 3

RADICAL 2010

RADICAL 2010. International Workshop on Relations and Data Integrity Constraints and Languages. Monday Morning. 9:00-10:30 Session 1 (Chair: Andrew D. Gordon) Peter Buneman In Defence of SQL James Cheney A wiki everyone can use... Coffee 11:00-12:30 Session 2 (Chair: Philip Wadler)

Jimmy
Télécharger la présentation

RADICAL 2010

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. RADICAL 2010 International Workshop onRelations and Data Integrity Constraints and Languages

  2. Monday Morning • 9:00-10:30 Session 1 (Chair: Andrew D. Gordon) • Peter Buneman In Defence of SQL • James Cheney A wiki everyone can use... • Coffee • 11:00-12:30 Session 2 (Chair: Philip Wadler) • David Langworthy Codename 'M': Hands On A New ModelingLanguage • Cătălin Hriţcu (with Gavin Bierman, Andrew D. Gordon, and David Langworthy) Semantic Subtyping with an SMT Solver • StijnVansummerenType Inference for the Relational Algebra and the Nested Relational Calculus: Polymorphism, Complexity, and Completeness • Lunch (and Group Photo)

  3. Monday Afternoon • 14:00-15:30 Session 3 • Adam Chlipala Safe Database Abstractions with Type-Level Record Computation • Eelco Visser WebDSL: Linguistic Integration of Web Concerns • William Cook Unifying Remote Procedures, Remote Services, and Database Access • 16:00-17:30 Session 4 • Philippa Gardner (with Thomas Dinsdale-Young, Gareth Smith, Mark Wheelhouse, Adam Wright) Local Resource Reasoning about Program Modules such as DOM • Philippa Gardner (with Thomas Dinsdale-Young, Gareth Smith, Mark Wheelhouse, Adam Wright) Local Resource Reasoning about Program Modules such as DOM • Three lightning talks

More Related