3404 search results - page 205 / 681 » C Programming Tutorial |
190
Voted
MEMOCODE
2006
IEEE
16 years 27 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
204
click to vote
MSR
2006
ACM
16 years 26 days ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
183
click to vote
EUROPAR
2005
Springer
16 years 13 days ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
166
click to vote
GPCE
2005
Springer
16 years 12 days ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
176
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...