4743 search results - page 189 / 949 » The PlusCal Algorithm Language |
149
click to vote
INFSOF
2008
15 years 3 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
104
click to vote
JOT
2008
15 years 3 months ago
2008
We present an enhanced form of untyped object-based inheritance for classless languages, as implemented in our Delta language, comparing to the prevalent practices of delegation a...
112
Voted
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
In Japanese, it is quite common for the same word to be written in several different ways. This is especially true for katakana words which are typically used for transliterating ...
127
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
154
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...