2477 search results - page 172 / 496 » Parallelizing Functional Programs by Generalization |
153
Voted
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
139
Voted
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
159
click to vote
SIGSOFT
2010
ACM
15 years 26 days ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
166
Voted
ESAW
2009
Springer
16 years 21 days ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
158
click to vote
PVM
2004
Springer
15 years 11 months ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...