{"id":"https://openalex.org/W2023431097","doi":"https://doi.org/10.1145/2103736.2103745","title":"Compilers must speak properties, not just code","display_name":"Compilers must speak properties, not just code","publication_year":2012,"publication_date":"2012-01-28","ids":{"openalex":"https://openalex.org/W2023431097","doi":"https://doi.org/10.1145/2103736.2103745","mag":"2023431097"},"language":"en","primary_location":{"id":"doi:10.1145/2103736.2103745","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2103736.2103745","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming","raw_type":"proceedings-article"},"type":"conference-paper","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/A5090186060","display_name":"Raimund Kirner","orcid":"https://orcid.org/0000-0003-3921-6813"},"institutions":[{"id":"https://openalex.org/I141584323","display_name":"University of Hertfordshire","ror":"https://ror.org/0267vjk41","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Raimund Kirner","raw_affiliation_strings":["University of Hertfordshire, Hatfield, United Kingdom","University of Hertfordshire, Hatfield, United Kingdom,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Hertfordshire, Hatfield, United Kingdom","institution_ids":["https://openalex.org/I141584323"]},{"raw_affiliation_string":"University of Hertfordshire, Hatfield, United Kingdom,","institution_ids":["https://openalex.org/I141584323"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072107058","display_name":"Frank Penczek","orcid":null},"institutions":[{"id":"https://openalex.org/I141584323","display_name":"University of Hertfordshire","ror":"https://ror.org/0267vjk41","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Frank Penczek","raw_affiliation_strings":["University of Hertfordshire, Hatfield, United Kingdom","University of Hertfordshire, Hatfield, United Kingdom,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Hertfordshire, Hatfield, United Kingdom","institution_ids":["https://openalex.org/I141584323"]},{"raw_affiliation_string":"University of Hertfordshire, Hatfield, United Kingdom,","institution_ids":["https://openalex.org/I141584323"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048068677","display_name":"Alex Shafarenko","orcid":"https://orcid.org/0000-0001-8796-6542"},"institutions":[{"id":"https://openalex.org/I141584323","display_name":"University of Hertfordshire","ror":"https://ror.org/0267vjk41","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alex Shafarenko","raw_affiliation_strings":["University of Hertfordshire, Hatfield, United Kingdom","University of Hertfordshire, Hatfield, United Kingdom,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Hertfordshire, Hatfield, United Kingdom","institution_ids":["https://openalex.org/I141584323"]},{"raw_affiliation_string":"University of Hertfordshire, Hatfield, United Kingdom,","institution_ids":["https://openalex.org/I141584323"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I141584323"],"apc_list":null,"apc_paid":null,"fwci":0.1891,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.37037037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8686550855636597},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7200986742973328},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6660559177398682},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6126172542572021},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.5220351219177246},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5141947269439697},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.5069968700408936},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.4993112087249756},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48491841554641724},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4758867025375366},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4730493128299713},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4528546929359436},{"id":"https://openalex.org/keywords/generic-programming","display_name":"Generic programming","score":0.43398287892341614},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4320935904979706},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.36517566442489624},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32479631900787354},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.21364042162895203}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8686550855636597},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7200986742973328},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6660559177398682},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6126172542572021},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.5220351219177246},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5141947269439697},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.5069968700408936},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.4993112087249756},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48491841554641724},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4758867025375366},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4730493128299713},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4528546929359436},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.43398287892341614},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4320935904979706},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.36517566442489624},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32479631900787354},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.21364042162895203},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2103736.2103745","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2103736.2103745","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W560494148","https://openalex.org/W1965199589","https://openalex.org/W2001914359","https://openalex.org/W2066413324","https://openalex.org/W2124245022","https://openalex.org/W2616131258","https://openalex.org/W2618538618","https://openalex.org/W2804312174","https://openalex.org/W6603841182"],"related_works":["https://openalex.org/W3004782279","https://openalex.org/W1564538666","https://openalex.org/W2526970984","https://openalex.org/W1528956417","https://openalex.org/W1599215552","https://openalex.org/W1919687110","https://openalex.org/W2028779182","https://openalex.org/W1734457603","https://openalex.org/W2521829344","https://openalex.org/W2155480936"],"abstract_inverted_index":{"This":[0],"is":[1,73,77,82,85,121],"a":[2,33,144,156],"work-in-progress":[3],"presentation":[4],"in":[5,103,141],"which":[6,76],"we":[7],"will":[8,28,134],"argue":[9,67],"that":[10,68],"approaches":[11],"based":[12],"on":[13,158],"components":[14,94],"coordinated":[15],"declaratively,":[16],"such":[17,57],"as":[18,58],"S-Net,":[19],"are":[20],"ideally":[21],"placed":[22],"for":[23,32,143],"automatic":[24],"multicore":[25,100],"optimisation.":[26],"We":[27,65,151],"present":[29],"our":[30,132],"case":[31],"component":[34],"compiler":[35],"producing":[36],"not":[37],"only":[38],"object":[39],"code,":[40],"but":[41],"also":[42,66],"symbolic":[43,115],"constraints":[44,90,116],"describing":[45],"the":[46,54,70,89,93,99,159],"functional,":[47],"and":[48,62,96,164],"more":[49],"importantly":[50],"extra-functional,":[51],"properties":[52],"of":[53,114,126,139,147,161],"source":[55],"component,":[56],"computational":[59],"complexity,":[60],"resource":[61],"configuration":[63],"requirements.":[64],"if":[69],"coordination":[71,166],"language":[72],"well":[74],"structured,":[75],"easily":[78],"achievable":[79],"when":[80],"it":[81,84],"declarative,":[83],"possible":[86],"to":[87,97,107,117,154],"aggregate":[88],"yielded":[91],"by":[92,123],"stage-wise":[95],"represent":[98],"optimisation":[101],"problem":[102],"standard":[104],"CSP":[105],"form":[106],"use":[108,113],"general-purpose":[109],"constraint":[110,162],"solvers.":[111],"The":[112],"describe":[118],"system":[119],"behaviour":[120],"shown":[122],"some":[124],"examples":[125],"S-Net":[127],"network":[128],"combinators.":[129],"If":[130],"successful":[131],"approach":[133],"achieve":[135],"an":[136],"unprecedented":[137],"degree":[138],"flexibility":[140],"programming":[142],"wide":[145],"range":[146],"heterogeneous":[148],"multi-/many-core":[149],"architectures.":[150],"would":[152],"like":[153],"initiate":[155],"discussion":[157],"interplay":[160],"solving":[163],"declarative":[165],"programming.":[167]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}