4743 search results - page 402 / 949 » The PlusCal Algorithm Language |
140
Voted
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
248
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
250
click to vote
POPL
2001
ACM
16 years 5 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
147
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
While the XML Stylesheet Language for Transformations (XSLT) was not designed as a query language, it is well-suited for many query-like operations on XML documents including sele...
138
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
When facing the question of learning languages in realistic settings, one has to tackle several problems that do not admit simple solutions. On the one hand, languages are usually...