SyPet

swMATH21706MaRDI QIDQ33508FDOQ33508

Author name not available (Why is that?)

Official website: https://fredfeng.github.io/sypet/

Described by source

• Component-based synthesis for complex APIs

Cited In (11)

• Long-Run Average Behavior of Vector Addition Systems with States
• CSIsat
• CodeHint
• Denali
• halp
• JSketch
• PARSEWeb
• XSnippet
• FlashExtract
• BlinkFill
• Programming by predicates: a formal model for interactive synthesis

This page was built for software: SyPet