12452 search results - page 29 / 2491 » An exploration of program as language |
CGO
2008
IEEE
15 years 4 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
The standard SQL assumes that the users are aware of all tables and their schemas to write queries. This assumption may be valid when the users deal with a relatively small number...
JLP
2008
14 years 9 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
ISPW
2005
IEEE
15 years 3 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
FECS
2008
14 years 11 months ago
2008
- The choice of programming language, the approach by which students are taught and the software tools made available to students have been controversial issues in many ways. While...