1746 search results - page 240 / 350 » A Constructive Semantics for ALC |
95
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
91
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
95
Voted
ECEASST
2008
15 years 24 days ago
2008
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...
96
Voted
FUIN
2006
15 years 22 days ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
88
Voted
JAR
2008
15 years 22 days ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...