7047 search results - page 94 / 1410 » Focusing on Binding and Computation |
138
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
183
click to vote
DNA
2007
Springer
16 years 14 days ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
138
click to vote
HT
2005
ACM
15 years 12 months ago
2005
ACM
People have become used to paper as an information carrier over thousands of years. Paper is usually easy to handle and has been adopted as a metaphor for information structures i...
144
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In existing synthesis systems, the influence of the area and delay of the controller is not or not sufficiently taken into account. But the controller can have a big influence,...
153
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...