10871 search results - page 215 / 2175 » A stable programming language |
110
Voted
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...
122
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
102
Voted
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...
148
Voted
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
138
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...