Sciweavers

3825 search results - page 148 / 765
» The Language of Time: A Reader
Sort
View
ERCIMDL
2005
Springer
124views Education» more  ERCIMDL 2005»
15 years 3 months ago
A Hybrid Declarative/Procedural Metadata Mapping Language Based on Python
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
Greg Janee, James Frew
POPL
1999
ACM
15 years 2 months ago
Type-Safe Linking and Modular Assembly Language
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
Neal Glew, J. Gregory Morrisett
ICMCS
1999
IEEE
131views Multimedia» more  ICMCS 1999»
15 years 2 months ago
Integrating Web Resources and Lexicons into a Natural Language Query System
The START system responds to natural language queries with answers in text, pictures, and other media. START's sentence-level natural language parsing relies on a number of m...
Boris Katz, Deniz Yuret, Jimmy J. Lin, Sue Felshin...
POPL
1998
ACM
15 years 2 months ago
Secure Information Flow in a Multi-Threaded Imperative Language
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
Geoffrey Smith, Dennis M. Volpano
IFL
1997
Springer
153views Formal Methods» more  IFL 1997»
15 years 2 months ago
Common Subexpressions Are Uncommon in Lazy Functional Languages
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
Olaf Chitil