Concept
Snippet (programming)
Related publications (5)
Proof of Multi-Stage Programming with Generative and Analytical Macros
Martin Odersky, Nicolas Alexander Stucki, Jonathan Immanuel Brachthäuser
In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support ...
EPFL2021Decision Procedures for Program Synthesis and Verification
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
EPFL2011On Interactive Synthesis of Code Snippets
Viktor Kuncak, Tihomir Gvero, Ruzica Piskac
We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. Our approach takes into account polymorphic type constraints as well as code behavior. We have found our system to be useful for synth ...
2011