8197 search results - page 28 / 1640 » Adaptive functional programming |
103
click to vote
WICSA
2001
15 years 3 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
140
Voted
ASIACRYPT
2010
Springer
15 years 6 days ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
118
Voted
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
113
click to vote
HPCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...