4743 search results - page 541 / 949 » The PlusCal Algorithm Language |
142
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
135
click to vote
ESOP
2010
Springer
16 years 9 days ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
142
click to vote
ALT
2006
Springer
15 years 12 months ago
2006
Springer
Abstract. Recently, some non-regular subclasses of context-free grammars have been found to be efficiently learnable from positive data. In order to use these efficient algorithms ...
115
click to vote
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...