12452 search results - page 285 / 2491 » An exploration of program as language |
199
click to vote
JOT
2010
15 years 5 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
147
click to vote
PROMAS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
176
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
174
click to vote
VL
2003
IEEE
16 years 3 hour ago
2003
IEEE
We built a prototype tool for browsing constraint systems for the layout of graphical objects. It has two views: In one view, the tool visualizes a constraint system as a threedim...
