{
  "best_oa_location": null,
  "data_standard": 2,
  "doi": "10.1007/11506676_11",
  "doi_url": "https://doi.org/10.1007/11506676_11",
  "genre": "book-chapter",
  "is_oa": false,
  "journal_is_in_doaj": false,
  "journal_is_oa": false,
  "journal_issns": "0302-9743,1611-3349",
  "journal_name": "Lecture Notes in Computer Science",
  "oa_locations": [],
  "published_date": "2005-01-01",
  "publisher": "Springer Berlin Heidelberg",
  "title": "Schema-Guided Synthesis of Imperative Programs by Constraint Solving",
  "updated": "2018-04-10T20:43:35.302856",
  "x_reported_noncompliant_copies": [],
  "year": 2005,
  "z_authors": [
    {
      "family": "Col\u00f3n",
      "given": "Michael A."
    }
  ]
}