2661 search results - page 209 / 533 » A Semantics for Abstraction |
179
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
217
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
168
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
183
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
199
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...