2661 search results - page 332 / 533 » A Semantics for Abstraction |
182
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...
152
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
181
click to vote
APCSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
203
click to vote
LCPC
1995
Springer
15 years 10 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
172
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...