2529 search results - page 244 / 506 » The Logical Structure of Binding |
220
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
167
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
191
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
175
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
186
Voted
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...