{"id":"https://openalex.org/W2092276539","doi":"https://doi.org/10.1145/1086642.1086647","title":"Functional declarative language design and predicate calculus","display_name":"Functional declarative language design and predicate calculus","publication_year":2005,"publication_date":"2005-09-01","ids":{"openalex":"https://openalex.org/W2092276539","doi":"https://doi.org/10.1145/1086642.1086647","mag":"2092276539"},"language":"en","primary_location":{"id":"doi:10.1145/1086642.1086647","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1086642.1086647","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1086642.1086647","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1086642.1086647","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088147328","display_name":"Raymond Boute","orcid":"https://orcid.org/0000-0002-4329-3902"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Raymond Boute","raw_affiliation_strings":["INTEC, Ghent University, Belgium, Ghent, Belgium"],"affiliations":[{"raw_affiliation_string":"INTEC, Ghent University, Belgium, Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5088147328"],"corresponding_institution_ids":["https://openalex.org/I32597200"],"apc_list":null,"apc_paid":null,"fwci":3.9487,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.93659726,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"27","issue":"5","first_page":"988","last_page":"1047"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9968000054359436,"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/computer-science","display_name":"Computer science","score":0.751043975353241},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5968462824821472},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.47587981820106506},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4634113013744354},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4559631049633026},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.36709702014923096},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3604738712310791}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.751043975353241},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5968462824821472},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.47587981820106506},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4634113013744354},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4559631049633026},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36709702014923096},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3604738712310791},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1086642.1086647","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1086642.1086647","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1086642.1086647","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1086642.1086647","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1086642.1086647","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1086642.1086647","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6499999761581421}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2092276539.pdf","grobid_xml":"https://content.openalex.org/works/W2092276539.grobid-xml"},"referenced_works_count":97,"referenced_works":["https://openalex.org/W23059770","https://openalex.org/W44060595","https://openalex.org/W63584948","https://openalex.org/W68069235","https://openalex.org/W88302067","https://openalex.org/W123368529","https://openalex.org/W140092548","https://openalex.org/W159385994","https://openalex.org/W194113306","https://openalex.org/W197104890","https://openalex.org/W283524483","https://openalex.org/W589675808","https://openalex.org/W606822674","https://openalex.org/W610131543","https://openalex.org/W646719765","https://openalex.org/W648109237","https://openalex.org/W1481153542","https://openalex.org/W1493654915","https://openalex.org/W1496267491","https://openalex.org/W1503860275","https://openalex.org/W1507693023","https://openalex.org/W1511110335","https://openalex.org/W1511203305","https://openalex.org/W1511668635","https://openalex.org/W1519382205","https://openalex.org/W1521505629","https://openalex.org/W1522283593","https://openalex.org/W1523518410","https://openalex.org/W1544662935","https://openalex.org/W1545091652","https://openalex.org/W1549050756","https://openalex.org/W1549089250","https://openalex.org/W1559526797","https://openalex.org/W1562560068","https://openalex.org/W1567558468","https://openalex.org/W1581486313","https://openalex.org/W1582269801","https://openalex.org/W1592287058","https://openalex.org/W1596646868","https://openalex.org/W1763199018","https://openalex.org/W1809844233","https://openalex.org/W1867962845","https://openalex.org/W1943502734","https://openalex.org/W1980636983","https://openalex.org/W1984820433","https://openalex.org/W1995073999","https://openalex.org/W1998875295","https://openalex.org/W2011551722","https://openalex.org/W2018944629","https://openalex.org/W2020784851","https://openalex.org/W2029948740","https://openalex.org/W2030224590","https://openalex.org/W2074427594","https://openalex.org/W2083861585","https://openalex.org/W2096494922","https://openalex.org/W2100310973","https://openalex.org/W2103531975","https://openalex.org/W2103898608","https://openalex.org/W2111964583","https://openalex.org/W2115023762","https://openalex.org/W2140595120","https://openalex.org/W2144973245","https://openalex.org/W2146306932","https://openalex.org/W2154273644","https://openalex.org/W2165820775","https://openalex.org/W2172307690","https://openalex.org/W2173959177","https://openalex.org/W2212475167","https://openalex.org/W2329095262","https://openalex.org/W2489001267","https://openalex.org/W2490836007","https://openalex.org/W2561675875","https://openalex.org/W2607631107","https://openalex.org/W2626448134","https://openalex.org/W3010182501","https://openalex.org/W3010782316","https://openalex.org/W3208273633","https://openalex.org/W4233034123","https://openalex.org/W4285719527","https://openalex.org/W4300830954","https://openalex.org/W4388295869","https://openalex.org/W4388372821","https://openalex.org/W6600891427","https://openalex.org/W6601783509","https://openalex.org/W6603586231","https://openalex.org/W6618975379","https://openalex.org/W6629511816","https://openalex.org/W6630053663","https://openalex.org/W6631124619","https://openalex.org/W6632359907","https://openalex.org/W6632691676","https://openalex.org/W6632917653","https://openalex.org/W6675349164","https://openalex.org/W6681126893","https://openalex.org/W6813904270","https://openalex.org/W6858566927","https://openalex.org/W7020193950"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W3136890312","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W4206249920","https://openalex.org/W4255405881","https://openalex.org/W1534488117","https://openalex.org/W2259894237"],"abstract_inverted_index":{"In":[0],"programming":[1,205],"language":[2,55,157],"and":[3,105,123,129,145,159,174,194,203],"software":[4,155],"engineering,":[5],"the":[6,66,117,134,184,187],"main":[7,98],"mathematical":[8,70,161],"tool":[9],"is":[10,25,63,80,189],"de":[11],"facto":[12],"some":[13],"form":[14],"of":[15,44,56,65,68,75,96,150,186],"predicate":[16,103],"logic.":[17],"Yet,":[18],"as":[19,37,120],"elsewhere":[20],"in":[21,41,90,125,201],"applied":[22,127,172],"mathematics,":[23],"it":[24,85,177],"used":[26],"mostly":[27],"far":[28],"below":[29],"its":[30,34,160],"potential,":[31],"due":[32],"to":[33,83,154],"traditional":[35],"formulation":[36],"just":[38],"a":[39,45,54,73,101],"topic":[40],"logic":[42],"instead":[43],"calculus":[46,104],"for":[47,87,136,192],"everyday":[48,88],"practical":[49,86],"use.The":[50],"proposed":[51],"alternative":[52],"combines":[53],"utmost":[57],"simplicity":[58],"(four":[59],"constructs":[60],"only)":[61],"that":[62,79],"devoid":[64],"defects":[67],"common":[69],"conventions,":[71],"with":[72,114,116,121,138],"set":[74],"convenient":[76],"calculation":[77,113,164],"rules":[78],"sufficiently":[81],"comprehensive":[82],"make":[84],"use":[89],"most":[91],"(if":[92],"not":[93],"all)":[94],"domains":[95],"interest.Its":[97],"elements":[99],"are":[100],"functional":[102],"concrete":[106],"generic":[107],"functionals.":[108],"The":[109,131],"first":[110],"supports":[111],"formal":[112,180],"quantifiers":[115],"same":[118,135],"fluency":[119],"derivatives":[122],"integrals":[124],"classical":[126],"mathematics":[128,173],"engineering.":[130,175],"second":[132],"achieves":[133],"calculating":[137],"functionals,":[139],"including":[140],"smooth":[141],"transition":[142],"between":[143],"pointwise":[144],"point-free":[146],"expression.The":[147],"extensive":[148],"collection":[149],"examples":[151],"pertains":[152],"mainly":[153],"specification,":[156],"semantics":[158],"basis,":[162],"program":[163],"etc.,":[165],"but":[166],"occasionally":[167],"shows":[168],"wider":[169],"applicability":[170],"throughout":[171],"Often":[176],"illustrates":[178],"how":[179],"reasoning":[181],"guided":[182],"by":[183],"shape":[185],"expressions":[188],"an":[190],"instrument":[191],"discovery":[193],"expanding":[195],"intuition,":[196],"or":[197],"highlights":[198],"design":[199],"opportunities":[200],"declarative":[202],"(functional)":[204],"languages.":[206]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}