2604 search results - page 89 / 521 » General constant expressions for system programming language... |
SIGDIAL
2010
13 years 6 months ago
2010
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...
IFL
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
USENIX
1990
13 years 10 months ago
1990
Tcl is an interpreter for a tool command language. It consists of a library package that is embedded in tools (such as editors, debuggers, etc.) as the basic command interpreter. ...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...