5451 search results - page 699 / 1091 » Typed Operational Semantics |
169
Voted
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
158
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
181
click to vote
IDEAS
2006
IEEE
16 years 22 days ago
2006
IEEE
The paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. The publication proces...
172
click to vote
MEMOCODE
2006
IEEE
16 years 21 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
169
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...