2881 search results - page 352 / 577 » Model Checking for Programming Languages using Verisoft |
137
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
Many combinatorial problems require of their solutions that they achieve a certain balance of given features. In the constraint programming literature, little has been written to s...
179
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
191
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
157
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
131
click to vote
FMOODS
2006
15 years 8 months ago
2006
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...