2604 search results - page 128 / 521 » General constant expressions for system programming language... |
157
click to vote
DSN
2009
IEEE
16 years 28 days ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
315
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
165
click to vote
PPDP
2007
Springer
16 years 9 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
175
click to vote
HASKELL
2006
ACM
16 years 4 days ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
170
click to vote
CEFP
2005
Springer
15 years 11 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...