A relational modal logic for higher-order stateful ADTs

D. Dreyer; G. Neis; A. Rossberg; Lars Birkedal

doi:http://doi.acm.org/10.1145/1706299.1706323

A relational modal logic for higher-order stateful ADTs

Authors:

Dreyer, D. ;
Close
Programming, Logic and Semantics, Computer Games and Interaction Design, The Department
Neis, G. ;
Close
Programming, Logic and Semantics, Computer Games and Interaction Design, The Department
Rossberg, A. ;
Close
unknown
Birkedal, Lars
Close
unknown

DOI:

http://doi.acm.org/10.1145/1706299.1706323

Type:

Conference paper

Language:

English

Published in:

Proceedings of the 37th Acm Sigplan-sigact Symposium on Principles of Programming Languages, Popl 2010, Madrid, Spain, January 17-23, 2010, 2010, p. 185-198

Main Research Area:

Science/technology

Publication Status:

Published

Review type:

Peer Review

Publisher:

Association for Computing Machinery

Submission year:

2010

Scientific Level:

Scientific

ID:

2185795490

A relational modal logic for higher-order stateful ADTs

Full text access

On-site access

At institution

Example	Finds records
water{}	containing the word "water".
water supplies"{}"	containing the phrase "water supplies".
author:"Doe, John"author:"{}"	containing the prase "Doe, John" in the author field.
title:IEEEtitle:{}	containing the word "IEEE" in the title field.
Need more help?	Advanced search tutorial