3319 search results - page 88 / 664 » Subshifts, Languages and Logic |
177
click to vote
CADE
2002
Springer
16 years 27 days ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
98
Voted
PADL
2000
Springer
15 years 4 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
119
Voted
FORTE
2010
15 years 2 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
109
Voted
FOSSACS
2005
Springer
15 years 6 months 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...
79
Voted
CEEMAS
2001
Springer
15 years 5 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...