Sciweavers

844 search results - page 49 / 169
» More On Implicit Syntax
Sort
View
105
Voted
STACS
1991
Springer
15 years 7 months ago
Optimal Parallel Recognition of Bracket Languages on Hypercubes
Bracket languages play an important role in the syntax analysis of programming languages. We investigate the parallel recognition and analysis of these languages as a first step ...
Gisela Pitsch, Elmar Schömer
DLOG
2008
15 years 5 months ago
Explanation in DL-Lite
The paper addresses the problem of explaining some reasoning tasks associated with the DL-Lite Description Logic. Because of the simplicity of the language, standard concept level ...
Alexander Borgida, Diego Calvanese, Mariano Rodrig...
CC
2008
Springer
137views System Software» more  CC 2008»
15 years 5 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
Francesco Logozzo, Manuel Fähndrich
144
Voted
DEXAW
2008
IEEE
145views Database» more  DEXAW 2008»
15 years 5 months ago
ECQ: A Simple Query Language for the Semantic Web
With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems. In ...
María del Mar Roldán García, ...
118
Voted
ECBS
2008
IEEE
126views Hardware» more  ECBS 2008»
15 years 5 months ago
ALI: An Extensible Architecture Description Language for Industrial Applications
While Architecture Description Languages (ADLs) have gained wide acceptance in the research community as a means of describing system designs, the uptake in industry has been slow...
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatri...