Work

Synthesis from Examples: Interaction Models and Algorithms

Year: 2012

Type: conference-paper

Source: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

DOI: 10.1109/synasc.2012.69

Author: Sumit Gulwani

Institution: Microsoft (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2065394549

FWCI: 6.759

Cites: 38

Cited by: 73

Related to: 10