2496 search results - page 142 / 500 » Error-detecting properties of languages |
99
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
95
Voted
TBILLC
2005
Springer
15 years 6 months ago
2005
Springer
The present paper presents the structure of a cross-linguistic database of production data. The database contains annotated texts collected from a sample of fifteen different langu...
127
click to vote
TGC
2005
Springer
15 years 6 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
85
Voted
WEBDB
2005
Springer
15 years 6 months ago
2005
Springer
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...
ICFP
1998
ACM
15 years 5 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...