1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 办公文档
  5. 产品手册

技术手册 CS5733 技术手册.pdf

技术手册 CS5733 技术手册.pdf

    CS5733ProgramSynthesis

    #13.Sketchingandconstraintsbasedsearch

    AshishMishra,September20,2024

    RECAP

    •CBS

    •ParameterizedPrograms

    •Sketches:AlanguagetowriteParameterizedPrograms

    •Language

    •Imperativelanguage

    •UnknownCons

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >