6174 search results - page 1041 / 1235 » The language of social software |
174
click to vote
FOSSACS
2005
Springer
16 years 1 days 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...
176
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
130
click to vote
FOSSACS
2005
Springer
16 years 1 days 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...
199
click to vote
ICDCIT
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
158
click to vote
ICESS
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...