220 search results - page 7 / 44 » A language-based approach to functionally correct imperative... |
154
click to vote
TGC
2010
Springer
15 years 22 days ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
132
click to vote
JUCS
2006
15 years 2 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
128
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
118
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
160
click to vote
TLDI
2010
ACM
15 years 3 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...