4386 search results - page 34 / 878 » A Tamper-Resistant Programming Language System |
195
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
139
Voted
PADL
2001
Springer
15 years 6 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...
POPL
1989
ACM
15 years 6 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
15 years 7 months ago
2004
Springer
56
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
