1140 search results - page 147 / 228 » Generating compilers for generated datapaths |
203
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
159
Voted
TSE
2011
14 years 10 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
180
click to vote
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
215
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
113
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...