10622 search results - page 358 / 2125 » Python Programming Language |
204
click to vote
PADL
2001
Springer
15 years 11 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...
163
click to vote
ESOP
1999
Springer
15 years 11 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...
134
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
178
click to vote
HASKELL
2007
ACM
15 years 10 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...