5377 search results - page 544 / 1076 » Programming Languages For Interactive Computing |
194
Voted
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
178
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
170
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
236
click to vote
VL
2002
IEEE
16 years 1 days ago
2002
IEEE
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...
198
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...