9626 search results - page 1456 / 1926 » Invariant Based Programming |
231
click to vote
HASKELL
2006
ACM
16 years 28 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
291
click to vote
SIGCSE
2006
ACM
16 years 27 days ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
153
click to vote
KBSE
2005
IEEE
16 years 16 days ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
209
click to vote
PLDI
2005
ACM
16 years 15 days ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
212
click to vote
TLDI
2005
ACM
16 years 15 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...