6054 search results - page 320 / 1211 » Implementation of Andorra-based Languages |
172
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
179
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
150
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
187
Voted
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
194
click to vote
ANLP
1992
15 years 8 months ago
1992
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...