Sciweavers

2803 search results - page 9 / 561
» A Type System for Prototyping Languages
Sort
View
PLDI
2010
ACM
14 years 1 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
BNCOD
2003
97views Database» more  BNCOD 2003»
13 years 9 months ago
ProSQL: A Prototyping Tool for SQL Temporal Language Extensions
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
James Green, Roger Johnson
LREC
2010
229views Education» more  LREC 2010»
13 years 10 months ago
Building a Node of the Accessible Language Technology Infrastructure
We present a limited prototype of the CLARIN Language Technology Infrastructure (LTI) node, which provides several types of web services for Polish. The functionality encompasses ...
Bartosz Broda, Michal Marcinczuk, Maciej Piasecki
EWIMT
2004
13 years 9 months ago
Reasoning on the Web: Language Prototypes and Perspectives
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
Sacha Berger, François Bry, Bernhard Lorenz...
IV
2002
IEEE
129views Visualization» more  IV 2002»
14 years 1 months ago
Design and Implementation of a Visual Query Language for Large Spatial Databases
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
Andrew J. Morris, Alia I. Abdelmoty, Douglas Tudho...