Sciweavers

325 search results - page 26 / 65
» Rewriting Strategies in Java
Sort
View
PPDP
2001
Springer
15 years 2 months ago
An Implementation of Narrowing Strategies
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
Sergio Antoy, Michael Hanus, Bart Massey, Frank St...
EUROMICRO
1999
IEEE
15 years 2 months ago
The Komodo Project: Thread-based Event Handling Supported by a Multithreaded Java Microcontroller
The Komodo project concerns the handling of multiple real-time events by Java threads that are supported by a multithreaded Java microcontroller. The architecture of the processor...
Jochen Kreuzinger, R. Marston, Theo Ungerer, Uwe B...
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 3 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
VLDB
2004
ACM
101views Database» more  VLDB 2004»
15 years 3 months ago
Taming XPath Queries by Minimizing Wildcard Steps
This paper presents a novel and complementary technique to optimize an XPath query by minimizing its wildcard steps. Our approach is based on using a general composite axis called...
Chee Yong Chan, Wenfei Fan, Yiming Zeng
DLOG
2007
14 years 12 months ago
A Proof Theory for DL-Lite
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt