3468 search results - page 133 / 694 » An open logical framework |
172
click to vote
PLPV
2011
ACM
14 years 3 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
118
click to vote
FOSSACS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
100
click to vote
VL
2002
IEEE
15 years 5 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
97
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Today, we are seeing an increasing number of software applications that users want to use anywhere, anytime. Such mobile applications often deliver their user interfaces (UIs) to ...
92
Voted
CGVR
2009
15 years 1 months ago
2009
Abstract--Large displays are playing an increasingly important role in today's visualization research. One of the most scalable and cost-effective ways to build a large displa...