Sciweavers

933 search results - page 121 / 187
» Multi-paradigm Declarative Languages
Sort
View
ANSS
2006
IEEE
15 years 10 months ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus
ICDCSW
2006
IEEE
15 years 10 months ago
Contory: A Smart Phone Middleware Supporting Multiple Context Provisioning Strategies
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...
Oriana Riva, Cristiano di Flora
SEFM
2006
IEEE
15 years 10 months ago
Formalizing AspectJ Weaving for Static Pointcuts
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
Nadia Belblidia, Mourad Debbabi
HASKELL
2006
ACM
15 years 10 months ago
An extensible dynamically-typed hierarchy of exceptions
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
Simon Marlow
SAC
2006
ACM
15 years 10 months ago
Supporting transparent evolution of component interfaces
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...
Emanuela P. Lins, Ulrik Pagh Schultz