6885 search results - page 162 / 1377 » The micro-structure of use of help |
161
click to vote
ENTCS
2000
15 years 6 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
171
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
154
click to vote
JAR
2000
15 years 6 months ago
2000
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...
178
click to vote
JAR
2000
15 years 6 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
186
click to vote
JNSM
2000
15 years 6 months ago
2000
: As service management systems are deployed in an open service market environment, the pressures on their developers to shorten development times and improve the flexibility of sy...