4386 search results - page 218 / 878 » A Tamper-Resistant Programming Language System |
237
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
133
Voted
PADL
2005
Springer
15 years 7 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
110
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...
88
Voted
ENTCS
2002
15 years 1 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
78
Voted
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...