1882 search results - page 297 / 377 » Transformational Programming and Forests |
158
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
137
click to vote
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
137
Voted
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
150
click to vote
DMSN
2004
ACM
15 years 10 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
150
Voted
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...