6740 search results - page 243 / 1348 » Using Classification as a Programming Language |
120
click to vote
ECOOP
1997
Springer
15 years 6 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
122
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
106
Voted
TOG
2008
15 years 2 months ago
2008
We present BSGP, a new programming language for general purpose computation on the GPU. A BSGP program looks much the same as a sequential C program. Programmers only need to supp...
163
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...