4880 search results - page 406 / 976 » Manuals as Structured Programs |
208
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
183
click to vote
TSD
1999
Springer
15 years 11 months ago
1999
Springer
The use of the treebank as a resource for linguistic research has led us to look for an annotation scheme representing not only surface syntactic information (in ‘analytic trees...
182
click to vote
JIB
2007
15 years 7 months ago
2007
2D-Nuclear magnetic resonance (NMR) spectra are used in the (structural) analysis of small molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra correlate the chemical shifts o...
230
click to vote
TOG
2012
13 years 9 months ago
2012
Woven fabrics have a wide range of appearance determined by their small-scale 3D structure. Accurately modeling this structural detail can produce highly realistic renderings of f...
189
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...