771 search results - page 76 / 155 » Concept Analysis - A New Framework for Program Understanding |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Much of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationallybounded pl...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
ACL
1998
13 years 9 months ago
1998
A critical path in the development of natural language understanding NLU modules lies in the di culty of de ning a mapping from words to semantics: Usually it takes in the order o...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...