4386 search results - page 34 / 878 » A Tamper-Resistant Programming Language System |
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
PADL
2001
Springer
14 years 4 days 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...
POPL
1989
ACM
13 years 11 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
