10622 search results - page 358 / 2125 » Python Programming Language |
157
click to vote
PADL
2001
Springer
15 years 9 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
127
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
108
click to vote
POPL
1989
ACM
15 years 8 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
145
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...