2482 search results - page 234 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
148
Voted
HRI
2010
ACM
15 years 2 months ago
2010
ACM
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
LISP
2006
15 years 2 months ago
2006
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
108
click to vote
BIOINFORMATICS
2005
15 years 2 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
139
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
139
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...