3311 search results - page 304 / 663 » Deductive Object Programming |
120
click to vote
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
The new design for the introductory programming course at ETH relies on object technology, Eiffel, extensive reuse, a graphics-rich library (TRAFFIC) built specifically for the c...
126
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...
106
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
121
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
130
click to vote
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...