458 search results - page 5 / 92 » A Dependently Typed Assembly Language |
DNA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...
IEEEPACT
1998
IEEE
13 years 11 months ago
1998
IEEE
Determination of data dependences is a task typically performed with high-level language source code in today's optimizing and parallelizing compilers. Very little work has b...
POPL
1999
ACM
13 years 11 months ago
1999
ACM
DNA
2009
Springer
13 years 11 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
PLDI
1998
ACM
13 years 11 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...