2623 search results - page 144 / 525 » Hoare Logic in the Abstract |
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
EUROGP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
TBILLC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
CAEPIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
CIE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...