2343 search results - page 66 / 469 » Structure and Interpretation of Computer Programs |
119
Voted
AAAI
2007
15 years 5 months ago
2007
Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic compounds. However, the software available today for specifying these structures t...
120
Voted
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
153
Voted
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...
138
Voted
LPAR
2010
Springer
15 years 16 days ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
122
Voted
ENTCS
2007
15 years 2 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...