2661 search results - page 246 / 533 » A Semantics for Abstraction |
124
click to vote
ENTCS
2002
15 years 6 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
170
click to vote
PR
2006
15 years 6 months ago
2006
For the management of digital document collections, automatic database analysis still has ties to deal with semantic queries and abstract concepts that users are looking for. When...
187
click to vote
ICCD
2005
IEEE
16 years 9 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
200
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
203
Voted
LOPSTR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...