619 search results - page 104 / 124 » The Design and Implementation of a Certifying Compiler |
SC
2005
ACM
15 years 5 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
100
click to vote
IEEEPACT
2002
IEEE
15 years 4 months ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
108
click to vote
SIGSOFT
2009
ACM
15 years 4 months ago
2009
ACM
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...
120
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...