10935 search results - page 415 / 2187 » Neural Programming Language |
177
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
162
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
211
Voted
WCRE
2010
IEEE
15 years 5 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...
146
Voted
CISIS
2010
IEEE
16 years 2 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...
221
click to vote
PADL
2005
Springer
16 years 28 days 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...