⚡

综合规范语言Skill synthesis-specification-language

综合规范语言是一种用于定义程序综合任务的技术规范工具。它支持通过输入输出示例、逻辑约束（前置/后置条件）和程序草图等多种范式来精确描述期望的程序行为。该工具能够将自然语言需求转化为可执行的规范，并进行规范验证与歧义检测，确保规范的正确性和完整性。它集成了SyGuS、Sketch、Rosette等主流程序综合引擎，是连接高层次需求与自动化代码生成的关键桥梁。 关键词：程序综合，规范语言，SyGuS，Sketch，Rosette，FlashFill，代码生成，形式化方法，软件工程，自动化编程

架构设计 0 次安装 0 次浏览 更新于 2/25/2026

名称：综合规范语言 描述：使用多种范式定义程序综合的规范 允许的工具：

  • Bash
  • Read
  • Write
  • Edit
  • Glob
  • Grep 元数据： 专业领域：计算机科学 领域：科学 类别：程序综合 阶段：6

综合规范语言

目的

提供关于使用示例、逻辑或草图定义程序综合规范的专家指导。

能力

  • 输入输出示例规范
  • 逻辑规范（前置/后置条件）
  • 基于草图的规范
  • 自然语言转规范
  • 规范验证
  • 歧义检测

使用指南

  1. 范式选择：选择规范范式
  2. 规范编写：编写正式规范
  3. 验证：验证规范的完整性
  4. 消歧义：解决规范歧义
  5. 集成：连接到综合引擎

工具/库

  • SyGuS 格式
  • Sketch
  • Rosette
  • FlashFill