4880 search results - page 531 / 976 » Manuals as Structured Programs |
190
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
170
click to vote
TOG
2010
15 years 1 months ago
2010
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
323
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
325
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
158
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...