1760 search results - page 187 / 352 » A System to Mark Programs Automatically |
105
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
150
click to vote
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
121
click to vote
SC
1990
ACM
15 years 7 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
132
click to vote
ANSS
2004
IEEE
15 years 7 months ago
2004
IEEE
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...
105
click to vote
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Reactivity, the ability to detect events and respond to them automatically through reactive programs, is a key requirement in many present-day information systems. Work on Web Serv...