2496 search results - page 200 / 500 » Error-detecting properties of languages |
149
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...
137
click to vote
DLT
2007
15 years 6 months ago
2007
Recently the duplication closure of words and languages has received much interest. We investigate a reversal of it: the duplication root reduces a word to a square-free one. After...
149
Voted
IMCSIT
2010
15 years 2 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
124
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
140
click to vote
ENTCS
2006
15 years 4 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...