Sciweavers

264 search results - page 39 / 53
» entcs 2008
Sort
View
ENTCS
2008
140views more  ENTCS 2008»
13 years 9 months ago
Functions and Lazy Evaluation in Prolog
There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded...
Juan Rodríguez-Hortalá, Jaime S&aacu...
ENTCS
2008
88views more  ENTCS 2008»
13 years 9 months ago
Specification of Conditions for Error Diagnostics
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
Christof Efkemann, Tobias Hartmann
ENTCS
2008
101views more  ENTCS 2008»
13 years 9 months ago
Rewriting Strategies in Java
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...
Emilie Balland, Pierre-Etienne Moreau, Antoine Rei...
ENTCS
2008
91views more  ENTCS 2008»
13 years 9 months ago
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
Malte Appeltauer, Günter Kniesel
ENTCS
2008
146views more  ENTCS 2008»
13 years 9 months ago
An Application-Oriented Framework for Wireless Sensor Network Key Establishment
The term wireless sensor network is applied broadly to a range of significantly different networking environments. On the other hand there exists a substantial body of research on...
Keith M. Martin, Maura B. Paterson