3573 search results - page 139 / 715 » Reasoning about Codata |
112
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Developers undertaking a pragmatic reuse task must collect and reason about information that is spread throughout the source code of a system before they can understand the scope ...
119
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
117
Voted
AI
2001
Springer
15 years 8 months ago
2001
Springer
In fast-paced software projects, engineers don’t have the time or the resources to build heavyweight complete descriptions of their software. The best they can do is lightweight ...
136
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
136
Voted
AC
2000
Springer
15 years 7 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...