{"id":"https://openalex.org/W2152458288","doi":"https://doi.org/10.1155/s016117120420415x","title":"Demonic semantics: using monotypes and residuals","display_name":"Demonic semantics: using monotypes and residuals","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2152458288","doi":"https://doi.org/10.1155/s016117120420415x","mag":"2152458288"},"language":"en","primary_location":{"id":"doi:10.1155/s016117120420415x","is_oa":true,"landing_page_url":"https://doi.org/10.1155/s016117120420415x","pdf_url":"https://downloads.hindawi.com/journals/ijmms/2004/764823.pdf","source":{"id":"https://openalex.org/S151851439","display_name":"International Journal of Mathematics and Mathematical Sciences","issn_l":"0161-1712","issn":["0161-1712","1687-0425"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Mathematics and Mathematical Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://downloads.hindawi.com/journals/ijmms/2004/764823.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087794334","display_name":"Fairouz Tchier","orcid":"https://orcid.org/0000-0001-7855-508X"},"institutions":[{"id":"https://openalex.org/I28022161","display_name":"King Saud University","ror":"https://ror.org/02f81g417","country_code":"SA","type":"education","lineage":["https://openalex.org/I28022161"]}],"countries":["SA"],"is_corresponding":true,"raw_author_name":"F. Tchier","raw_affiliation_strings":["Mathematics Department, King Saud University, P.O. Box 22452, Riyadh 11495"],"affiliations":[{"raw_affiliation_string":"Mathematics Department, King Saud University, P.O. Box 22452, Riyadh 11495","institution_ids":["https://openalex.org/I28022161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5087794334"],"corresponding_institution_ids":["https://openalex.org/I28022161"],"apc_list":{"value":1025,"currency":"USD","value_usd":1025},"apc_paid":{"value":1025,"currency":"USD","value_usd":1025},"fwci":0.4621,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.76957819,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"2004","issue":"3","first_page":"135","last_page":"160"},"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.9993000030517578,"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.9993000030517578,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6295824646949768},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6146368384361267},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5300264954566956},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4285222887992859},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4039286971092224},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38236236572265625},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36809709668159485}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6295824646949768},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6146368384361267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5300264954566956},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4285222887992859},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4039286971092224},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38236236572265625},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36809709668159485},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1155/s016117120420415x","is_oa":true,"landing_page_url":"https://doi.org/10.1155/s016117120420415x","pdf_url":"https://downloads.hindawi.com/journals/ijmms/2004/764823.pdf","source":{"id":"https://openalex.org/S151851439","display_name":"International Journal of Mathematics and Mathematical Sciences","issn_l":"0161-1712","issn":["0161-1712","1687-0425"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Mathematics and Mathematical Sciences","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:hin:jijmms:764823","is_oa":false,"landing_page_url":"http://downloads.hindawi.com/journals/IJMMS/2004/764823.xml","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:doaj.org/article:b4c3e7e553e94f89a62ccc0a22426183","is_oa":true,"landing_page_url":"https://doaj.org/article/b4c3e7e553e94f89a62ccc0a22426183","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Mathematics and Mathematical Sciences, Vol 2004, Iss 3, Pp 135-160 (2004)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/s016117120420415x","is_oa":true,"landing_page_url":"https://doi.org/10.1155/s016117120420415x","pdf_url":"https://downloads.hindawi.com/journals/ijmms/2004/764823.pdf","source":{"id":"https://openalex.org/S151851439","display_name":"International Journal of Mathematics and Mathematical Sciences","issn_l":"0161-1712","issn":["0161-1712","1687-0425"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Mathematics and Mathematical Sciences","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2152458288.pdf","grobid_xml":"https://content.openalex.org/works/W2152458288.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W190595227","https://openalex.org/W1481153542","https://openalex.org/W1543335981","https://openalex.org/W1560179179","https://openalex.org/W1570949334","https://openalex.org/W1582342371","https://openalex.org/W1973316014","https://openalex.org/W1975551945","https://openalex.org/W2007225061","https://openalex.org/W2018849883","https://openalex.org/W2031035469","https://openalex.org/W2035306406","https://openalex.org/W2039689198","https://openalex.org/W2056240511","https://openalex.org/W2071945201","https://openalex.org/W2074592031","https://openalex.org/W2093397547","https://openalex.org/W2103953153","https://openalex.org/W2110846749","https://openalex.org/W2157785961","https://openalex.org/W2163008980","https://openalex.org/W2481850285","https://openalex.org/W4244624434","https://openalex.org/W4300885858","https://openalex.org/W6606219250","https://openalex.org/W6629226570","https://openalex.org/W6675527207"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2317200988","https://openalex.org/W2052122378","https://openalex.org/W2544423928","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2788308474"],"abstract_inverted_index":{"Relations":[0],"and":[1,17,47,183,209],"relational":[2,104,136],"operators":[3,68],"can":[4,157,202],"be":[5,158,203],"used":[6,159],"to":[7,20,28,36,57,160],"define":[8],"the":[9,40,43,50,74,90,133,147,152,188,192,200,207,210],"semantics":[10,23,63,76,81,105],"of":[11,80,89,92,106,124,135,149,151,170,191],"programming":[12,171],"languages.":[13],"The":[14],"operations":[15,45],"\u2228":[16],"\u2218":[18],"serve":[19],"give":[21,161],"angelic":[22],"by":[24,66,155,180,205,213],"defining":[25],"a":[26,34,55,60,99,110,140,162,167],"program":[27,61],"go":[29,37,58,70],"right":[30],"when":[31],"there":[32,53,96],"is":[33,54,64,73,82,112],"possibility":[35,56],"right.":[38],"On":[39],"other":[41],"hand,":[42],"demonic":[44,75,103,164],"\u2294":[46],"\u25a1":[48],"do":[49],"opposite:":[51],"if":[52],"wrong,":[59],"whose":[62,142],"given":[65,113],"these":[67],"will":[69],"wrong;":[71],"it":[72],".":[77],"This":[78,173],"type":[79],"known":[83],"at":[84],"least":[85],"since":[86],"Dijkstra\u2032s":[87],"introduction":[88],"language":[91],"guarded":[93],"commands.":[94],"Recently,":[95],"has":[97],"been":[98,177],"growing":[100],"interest":[101],"in":[102,187],"sequential":[107],"programs.":[108],"Usually,":[109],"construct":[111],"an":[114,121],"ad":[115],"hoc":[116],"semantic":[117],"definition":[118,165],"based":[119],"on":[120,146],"intuitive":[122],"understanding":[123],"its":[125],"behavior.":[126],"In":[127],"this":[128],"note,":[129],"we":[130],"show":[131,197],"how":[132],"notion":[134],"flow":[137],"diagram":[138],"(essentially":[139],"matrix":[141],"entries":[143],"are":[144],"relations":[145],"set":[148],"states":[150],"program),":[153],"introduced":[154,212],"Schmidt,":[156],"single":[163],"for":[166],"wide":[168],"range":[169],"constructs.":[172],"research":[174],"had":[175],"originally":[176],"carried":[178],"out":[179],"J.":[181],"Desharnais":[182,214],"F.":[184],"Tchier":[185],"(1996)":[186],"same":[189],"framework":[190],"binary":[193],"homogeneous":[194],"relations.":[195],"We":[196],"that":[198],"all":[199],"results":[201],"generalized":[204],"using":[206],"monotypes":[208],"residuals":[211],"et":[215],"al.":[216],"(2000).":[217]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}