6740 search results - page 146 / 1348 » Using Classification as a Programming Language |
143
click to vote
LCPC
1995
Springer
15 years 5 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...
131
Voted
PADL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
TOOLS
1992
IEEE
15 years 5 months ago
1992
IEEE
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...
124
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
112
click to vote
SPAA
1995
ACM
15 years 5 months ago
1995
ACM
Many high-level parallel programming languages allow for fine-grained parallelism. As in the popular work-time framework for parallel algorithm design, programs written in such lan...