2625 search results - page 112 / 525 » The development of the Emerald programming language |
POPL
2009
ACM
15 years 4 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
MPC
2004
Springer
15 years 3 months ago
2004
Springer
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
AOSD
2008
ACM
14 years 12 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
118
click to vote
GEOINFORMATICA
2011
14 years 4 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...