Sciweavers

469 search results - page 48 / 94
» Language and library support for practical PRAM programming
Sort
View
ICFP
2005
ACM
16 years 1 months ago
Monadic augment and generalised short cut fusion
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo ...
CORR
2007
Springer
114views Education» more  CORR 2007»
15 years 1 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
GPCE
2009
Springer
15 years 6 months ago
Advanced runtime adaptation for Java
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
Alex Villazón, Walter Binder, Danilo Ansalo...
ICFP
2001
ACM
16 years 1 months ago
Recursive Structures for Standard ML
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
Claudio V. Russo
JUCS
2007
98views more  JUCS 2007»
15 years 1 months ago
Using Visitor Patterns in Object-Oriented Action Semantics
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
André Murbach Maidl, Cláudio Carvilh...