2604 search results - page 346 / 521 » General constant expressions for system programming language... |
112
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
134
click to vote
SBCCI
2004
ACM
15 years 10 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
143
Voted
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
126
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
132
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Collaborative filtering (CF) techniques have proved to be a powerful and popular component of modern recommender systems. Common approaches such as user-based and item-based metho...