856 search results - page 123 / 172 » Dependent Types in Practical Programming |
185
Voted
SMALLTALK
2007
Springer
15 years 8 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
116
Voted
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
126
Voted
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
173
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
112
click to vote
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...