10575 search results - page 373 / 2115 » T2Script Programming Language |
159
click to vote
WCRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
112
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
—Stream languages offer a simple multi-core programming model and achieve good performance. Yet expressing data rearrangement patterns (like a matrix block decomposition) in thes...
159
Voted
PADL
2005
Springer
15 years 10 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...
117
click to vote
TOOLS
1992
IEEE
15 years 9 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...