4386 search results - page 297 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
121
Voted
EUROCOLT
1999
Springer
15 years 7 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...
109
Voted
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
122
Voted
NLDB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...
153
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...