2496 search results - page 116 / 500 » Error-detecting properties of languages |
113
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
107
click to vote
ACL
2006
15 years 5 months ago
2006
Subjectivity and meaning are both important properties of language. This paper explores their interaction, and brings empirical evidence in support of the hypotheses that (1) subj...
105
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
135
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
136
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...