1401 search results - page 156 / 281 » Tool Integration for Reasoned Programming |
118
Voted
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
CL
2006
Springer
15 years 1 months ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
217
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
109
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
106
click to vote
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
Blogs have the aordance to become an integral part of teaching and learning processes as a vehicle for knowledge management. Open, exible systems integrating blogs provide user-f...