Work

Algorithmic program synthesis: introduction

Year: 2013

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-013-0287-9

Authors: Rastislav Bodik, Barbara Jobstmann

Institutions: University of California System, University of California, Berkeley, Centre National de la Recherche Scientifique, Verimag, École Polytechnique Fédérale de Lausanne

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1975458495

FWCI: 7.813

Cites: 255

Cited by: 49

Related to: 10