4386 search results - page 143 / 878 » A Tamper-Resistant Programming Language System |
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...
133
click to vote
JCIT
2007
15 years 1 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
210
click to vote
PADL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
100
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...