10622 search results - page 207 / 2125 » Python Programming Language |
126
Voted
ICLP
2003
Springer
15 years 8 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...
112
Voted
ICFP
2008
ACM
16 years 3 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...
151
click to vote
AAMAS
2008
Springer
15 years 3 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...
141
click to vote
POPL
1994
ACM
15 years 7 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...
126
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...