115 search results - page 15 / 23 » An integrated proof language for imperative programs |
WWW
2005
ACM
16 years 13 days ago
2005
ACM
The increased importance of XML as a data representation format has led to several proposals for facilitating the development of applications that operate on XML data. These propo...
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
89
Voted
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
120
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...