10575 search results - page 188 / 2115 » Programming Languages |
SIGCSE
1996
ACM
15 years 2 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...
ICFP
2006
ACM
15 years 10 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
14 years 10 months ago
2008
105
click to vote
IPPS
1996
IEEE
15 years 2 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
15 years 10 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...