2661 search results - page 61 / 533 » A Semantics for Abstraction |
200
click to vote
DC
2002
15 years 6 months ago
2002
Message ordering is a fundamental abstraction in distributed systems. However, ordering guarantees are usually purely "syntactic," that is, message "semantics" ...
157
click to vote
ICWE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper proposes using a Component Approach to model navigation in a hypertext application. It proposes Navigational Semantic Units (NSUs), which are component-oriente...
141
click to vote
COMMA
2008
15 years 7 months ago
2008
Abstract. This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We ...
174
click to vote
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
187
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...