3256 search results - page 150 / 652 » Mixin-Based Programming in C |
135
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
243
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
144
Voted
SIGPLAN
2002
15 years 3 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
156
Voted
SAMOS
2010
Springer
15 years 1 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
245
click to vote
Lecture Notes
"This course has two objectives. First (and obvious) is to teach programming.
Second is to present some fundamental principles of computer science,
especially algorithm desi...