21 search results - page 3 / 5 » Multi-Stage Imperative Languages: A Conservative Extension R... |
EMNLP
2010
13 years 4 months ago
2010
With the proliferation of user-generated articles over the web, it becomes imperative to develop automated methods that are aware of the ideological-bias implicit in a document co...
FCCM
2002
IEEE
13 years 11 months ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...
POPL
2012
ACM
12 years 2 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
CF
2005
ACM
13 years 8 months ago
2005
ACM
Data-driven array architectures seem to be important alternatives for coarse-grained reconfigurable computing platforms. Their use has provided performance improvements over micro...
CJ
2000
13 years 6 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...