802 search results - page 95 / 161 » On the formal semantics of IF-like logics |
110
click to vote
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
131
click to vote
OWLED
2008
15 years 2 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
94
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
136
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
119
click to vote
JELIA
2000
Springer
15 years 5 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...