Logic-based Program Synthesis And Transformation
by Gopal Gupta /
2014 / English / PDF
5.2 MB Download
LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
