16844 search results - page 389 / 3369 » How to Design Programs |
150
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
163
click to vote
FPCA
1989
15 years 11 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...
177
click to vote
IJCAI
1989
15 years 8 months ago
1989
A cognitive model of student programmers is presented. The model is based on protocol studies of students writing Pascal programs, and is implemented in a computer simulation prog...
184
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
OpenMP is emerging as a quasi-standard for shared memory parallel programming on small SMP-systems. To serve as a common programming interface in shared memory parallel programmin...
153
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...