10575 search results - page 188 / 2115 » Programming Languages |
109
Voted
SIGCSE
1996
ACM
15 years 6 months ago
1996
ACM
Over the last ten years there has been a major shift in programming language design from procedural languages to object-oriented languages. Most universities have adopted an objec...
108
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
SIGPLAN
2008
15 years 2 months ago
2008
144
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...