Sciweavers

6054 search results - page 255 / 1211
» Implementation of Andorra-based Languages
Sort
View
HASKELL
2005
ACM
16 years 6 days ago
Haskell ready to dazzle the real world
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
Martijn M. Schrage, Arjan van IJzendoorn, Linda C....
DALT
2005
Springer
16 years 6 days ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
OOPSLA
2005
Springer
16 years 4 days ago
Pluggable AOP: designing aspect mechanisms for third-party composition
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
Sergei Kojarski, David H. Lorenz
SAC
2004
ACM
16 years 2 days ago
Type-safe covariance in C++
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...
Vitaly Surazhsky, Joseph Gil
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
16 years 13 hour ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson