6740 search results - page 500 / 1348 » Using Classification as a Programming Language |
135
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
135
click to vote
SIGCSE
2010
ACM
15 years 11 months ago
2010
ACM
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
257
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
149
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
270
click to vote
POPL
2008
ACM
16 years 5 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...