2496 search results - page 325 / 500 » Error-detecting properties of languages |
134
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
118
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
144
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
100
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
152
click to vote
GW
2005
Springer
15 years 10 months ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...