Synthesis Specification Language

---
name: synthesis-specification-language
description: Define specifications for program synthesis using various paradigms
allowed-tools:
  - Bash
  - Read
  - Write
  - Edit
  - Glob
  - Grep
metadata:
  specialization: computer-science
  domain: science
  category: program-synthesis
  phase: 6
graph:
  domains: [domain:computer-science]
  specializations: [specialization:theoretical-computer-science]
  skillAreas: [skill-area:graph-algorithms, skill-area:mathematical-reasoning, skill-area:language-design]
  workflows: [workflow:research-grant-lifecycle]
  roles: [role:research-engineer, role:research-scientist]
---

# Synthesis Specification Language

## Purpose

Provides expert guidance on defining specifications for program synthesis using examples, logic, or sketches.

## Capabilities

- Input-output example specification
- Logical specification (pre/post conditions)
- Sketch-based specification
- Natural language to specification
- Specification validation
- Ambiguity detection

## Usage Guidelines

1. **Paradigm Selection**: Choose specification paradigm
2. **Specification Writing**: Write formal specification
3. **Validation**: Validate specification for completeness
4. **Disambiguation**: Resolve specification ambiguities
5. **Integration**: Connect to synthesis engines

## Tools/Libraries

- SyGuS format
- Sketch
- Rosette
- FlashFill