{"id":"https://openalex.org/W2053802475","doi":"https://doi.org/10.2307/3679893","title":"Machine Tongues X: Constraint Languages","display_name":"Machine Tongues X: Constraint Languages","publication_year":1984,"publication_date":"1984-01-01","ids":{"openalex":"https://openalex.org/W2053802475","doi":"https://doi.org/10.2307/3679893","mag":"2053802475"},"language":"en","primary_location":{"id":"doi:10.2307/3679893","doi":"https://doi.org/10.2307/3679893","is_oa":false,"landing_page_url":"https://doi.org/10.2307/3679893","pdf_url":null,"source":{"id":"https://openalex.org/S165362224","display_name":"Computer Music Journal","issn_l":"0148-9267","issn":["0148-9267","1531-5169"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","erih-plus","jufo-3","norway-2","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718","https://openalex.org/P4310316440"],"host_organization_lineage_names":["The MIT Press","Massachusetts Institute of Technology"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Music Journal","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035685245","display_name":"David A. Levitt","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David Levitt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5035685245"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":128.6,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":1.0,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"1","first_page":"9","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11349","display_name":"Music Technology and Sound Studies","score":0.48190000653266907,"subfield":{"id":"https://openalex.org/subfields/1210","display_name":"Music"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11349","display_name":"Music Technology and Sound Studies","score":0.48190000653266907,"subfield":{"id":"https://openalex.org/subfields/1210","display_name":"Music"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.2727000117301941,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.09300000220537186,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/constraint-languages","display_name":"constraint languages","score":0.9950000047683716},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"constraint programming","score":0.6700000166893005},{"id":"https://openalex.org/keywords/jazz-improvisation","display_name":"jazz improvisation","score":0.6629999876022339},{"id":"https://openalex.org/keywords/algorithmic-composition","display_name":"algorithmic composition","score":0.3400000035762787},{"id":"https://openalex.org/keywords/problem-solving","display_name":"problem solving","score":0.4830000102519989},{"id":"https://openalex.org/keywords/sketchpad","display_name":"Sketchpad","score":0.5299999713897705},{"id":"https://openalex.org/keywords/music-information-retrieval","display_name":"music information retrieval","score":0.34599998593330383},{"id":"https://openalex.org/keywords/future-of-programming","display_name":"future of programming","score":0.4490000009536743}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6820178031921387},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5495169162750244},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5387225151062012},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.42163509130477905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3590359687805176},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18396899104118347},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07096973061561584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/3679893","doi":"https://doi.org/10.2307/3679893","is_oa":false,"landing_page_url":"https://doi.org/10.2307/3679893","pdf_url":null,"source":{"id":"https://openalex.org/S165362224","display_name":"Computer Music Journal","issn_l":"0148-9267","issn":["0148-9267","1531-5169"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","erih-plus","jufo-3","norway-2","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718","https://openalex.org/P4310316440"],"host_organization_lineage_names":["The MIT Press","Massachusetts Institute of Technology"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Music Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1597474747","https://openalex.org/W2033755422","https://openalex.org/W2038118137","https://openalex.org/W2096620062","https://openalex.org/W2115166955","https://openalex.org/W2132233302","https://openalex.org/W2134984189"],"related_works":["https://openalex.org/W7095249176","https://openalex.org/W131147050","https://openalex.org/W1996195213","https://openalex.org/W3140058205","https://openalex.org/W2115484684","https://openalex.org/W3022911130","https://openalex.org/W2798639187","https://openalex.org/W2001839929","https://openalex.org/W1487518034","https://openalex.org/W7097147270"],"abstract_inverted_index":{"Before":[0],"long,":[1],"programming":[2,78],"as":[3,137,198,220],"we":[4],"now":[5],"know":[6],"it":[7,219],"will":[8,58,80,144,158,177,188,201,291],"be":[9,38],"a":[10,24,29,35,85,89,127,138,191,221,266],"rare":[11],"activity.":[12],"Even":[13],"for":[14,28,129,240],"builders":[15],"of":[16,26,42,56,88,94,103,109,117,147],"complex":[17],"software":[18],"systems,":[19],"manually":[20],"constructing":[21],"an":[22],"algorithm-describing":[23],"sequence":[25],"steps":[27],"computer":[30,229],"to":[31,61,165,172,256,269,285],"perform":[32,70],"in":[33,44,99,154,180,183,242],"achieving":[34],"single":[36],"result-will":[37],"uncommon.":[39],"Current":[40],"methods":[41],"programming,":[43],"which":[45],"programmers":[46],"spend":[47],"their":[48,204,282],"time":[49],"writing":[50],"algorithms":[51,164],"and":[52,69,77,92,97,119,163,208,235,244,288,299],"debugging":[53],"flawed":[54,207],"realizations":[55],"them,":[57],"give":[59],"way":[60],"more":[62,297],"powerful":[63,234],"tools":[64],"that":[65,170,203,290],"foster":[66],"system":[67,157,255],"design":[68],"most":[71],"coding":[72],"tasks":[73],"automatically.":[74],"Constraint":[75],"languages":[76,105,143,239,263,296],"environments":[79],"help":[81,173],"the":[82,115,151,156,226,270,277],"designer":[83],"produce":[84],"lucid":[86],"description":[87],"problem":[90],"domain,":[91],"then":[93],"particular":[95],"situations":[96],"problems":[98],"it.":[100],"Early":[101],"versions":[102],"these":[104,148],"were":[106,206],"given":[107],"descriptions":[108],"real":[110],"world":[111],"domain":[112],"constraints,":[113],"like":[114],"operation":[116],"electrical":[118],"mechanical":[120],"parts.":[121],"More":[122],"recently,":[123],"I":[124],"have":[125,231,264],"automated":[126],"vocabulary":[128],"describing":[130,243],"musical":[131,286],"jazz":[132,139],"phrases,":[133],"using":[134],"constraint":[135,142,238,262,280,295],"language":[136],"improviser.":[140],"General":[141],"handle":[145],"all":[146],"domains.":[149],"Once":[150],"model":[152],"is":[153,193],"place,":[155],"connect":[159],"built-in":[160],"code":[161],"fragments":[162],"answer":[166],"questions":[167],"about":[168],"situations;":[169],"is,":[171],"solve":[174],"problems.":[175],"Bugs":[176],"surface":[178],"not":[179],"code,":[181],"but":[182],"designs":[184],"themselves.":[185],"Debugging":[186],"systems":[187],"explain":[189],"why":[190],"situation":[192],"impossible":[194],"or":[195,217],"underconstrained;":[196],"and,":[197],"always,":[199],"designers":[200],"decide":[202],"ideas":[205],"change":[209],"them.":[210],"Not":[211],"every":[212],"programmer":[213],"shares":[214],"this":[215],"vision":[216],"sees":[218],"realistic":[222],"goal.":[223],"But":[224],"since":[225],"early":[227],"1960s,":[228],"scientists":[230],"demonstrated":[232],"increasingly":[233],"flexible":[236],"versions:":[237],"assistance":[241],"solving":[245],"problems,":[246],"rather":[247],"than":[248],"programming.":[249],"From":[250],"Ivan":[251],"Sutherland's":[252],"original":[253],"SketchPad":[254],"Software":[257],"Arts's":[258],"recently":[259],"introduced":[260],"TK!Solver,":[261],"presented":[265],"seductive":[267],"alternative":[268],"conventional,":[271],"algorithmic":[272],"style.":[273],"This":[274],"article":[275],"describes":[276],"principles":[278],"behind":[279],"languages;":[281],"applications,":[283],"especially":[284],"problems;":[287],"research":[289],"some":[292],"day":[293],"make":[294],"general-purpose":[298],"efficient.":[300]},"counts_by_year":[],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}