Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleJuly 2009
Updatable Security Views
CSF '09: Proceedings of the 2009 22nd IEEE Computer Security Foundations SymposiumPages 60–74https://doi.org/10.1109/CSF.2009.25Security views are a flexible and effective mechanism for controlling access to confidential information.Rather than allowing untrusted users to access source data directly, they are instead provided with are restricted view, from which all confidential ...
- research-articleSeptember 2008
Quotient lenses
ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programmingPages 383–396https://doi.org/10.1145/1411204.1411257There are now a number of BIDIRECTIONAL PROGRAMMING LANGUAGES, where every program can be read both as a forward transformation mapping one data structure to another and as a reverse transformation mapping an edited output back to a correspondingly ...
Also Published in:
ACM SIGPLAN Notices: Volume 43 Issue 9 - research-articleJanuary 2008
Boomerang: resourceful lenses for string data
POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPages 407–419https://doi.org/10.1145/1328438.1328487A lens is a bidirectional program. When read from left toright, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an ''update translator'' that takes an input together with an updated output and ...
Also Published in:
ACM SIGPLAN Notices: Volume 43 Issue 1 - articleSeptember 2001
On Dart-Zobel Algorithm for testing regular type inclusion
This paper answers open questions about the correctness and the completeness of Dart-Zobel algorithm for testing the inclusion relation between two regular types. We show that the algorithm is complete but incorrect for regular types.