Sciweavers

4895 search results - page 528 / 979
» Functional Quantum Programming
Sort
View
WORDS
2002
IEEE
15 years 11 months ago
On Aspect-Orientation in Distributed Real-time Dependable Systems
The design and implementation of distributed real-time dependable systems is often dominated by non-functional considerations like timeliness, object placement and fault tolerance...
Andreas Gal, Olaf Spinczyk, Wolfgang Schröder...
ICLP
2009
Springer
15 years 11 months ago
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
Marco Gavanelli, Marco Alberti, Evelina Lamma
LCPC
2001
Springer
15 years 11 months ago
Strength Reduction of Integer Division and Modulo Operations
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
Jeffrey Sheldon, Walter Lee, Ben Greenwald, Saman ...
ICFP
1999
ACM
15 years 11 months ago
Interlanguage Working Without Tears: Blending SML with Java
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...
Nick Benton, Andrew Kennedy
ECOOP
1999
Springer
15 years 11 months ago
Wide Classes
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
Manuel Serrano