{"id":"https://openalex.org/W2004028695","doi":"https://doi.org/10.1007/bf01211604","title":"Predicate transformers as power operations","display_name":"Predicate transformers as power operations","publication_year":1995,"publication_date":"1995-03-01","ids":{"openalex":"https://openalex.org/W2004028695","doi":"https://doi.org/10.1007/bf01211604","mag":"2004028695"},"language":"en","primary_location":{"id":"doi:10.1007/bf01211604","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01211604","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","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/A5082134966","display_name":"Ingrid Rewitzky","orcid":"https://orcid.org/0000-0003-1287-519X"},"institutions":[{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"I. Rewitzky","raw_affiliation_strings":["Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, 7700, Rondebosch, South Africa","Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, Rondebosch, South Africa 7700#TAB#"],"affiliations":[{"raw_affiliation_string":"Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, 7700, Rondebosch, South Africa","institution_ids":["https://openalex.org/I157614274"]},{"raw_affiliation_string":"Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, Rondebosch, South Africa 7700#TAB#","institution_ids":["https://openalex.org/I157614274"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017029506","display_name":"Chris Brink","orcid":null},"institutions":[{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"C. Brink","raw_affiliation_strings":["Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, 7700, Rondebosch, South Africa","Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, Rondebosch, South Africa 7700#TAB#"],"affiliations":[{"raw_affiliation_string":"Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, 7700, Rondebosch, South Africa","institution_ids":["https://openalex.org/I157614274"]},{"raw_affiliation_string":"Laboratory for Formal Aspects and Complexity in Computer Science, Department of Mathematics, University of Cape Town, Rondebosch, South Africa 7700#TAB#","institution_ids":["https://openalex.org/I157614274"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082134966"],"corresponding_institution_ids":["https://openalex.org/I157614274"],"apc_list":null,"apc_paid":null,"fwci":0.5681,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.73541477,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"7","issue":"2","first_page":"169","last_page":"182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9969000220298767,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9969000220298767,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9951000213623047,"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/T11567","display_name":"semigroups and automata theory","score":0.9902999997138977,"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/predicate-transformer-semantics","display_name":"Predicate transformer semantics","score":0.6876642107963562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5762709379196167},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5722648501396179},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.570319652557373},{"id":"https://openalex.org/keywords/transformer","display_name":"Transformer","score":0.49595603346824646},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4679029881954193},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4235004186630249},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.41394370794296265},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.352580726146698},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2875902056694031},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.2521631419658661},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.17280521988868713},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.05840834975242615}],"concepts":[{"id":"https://openalex.org/C30128091","wikidata":"https://www.wikidata.org/wiki/Q291929","display_name":"Predicate transformer semantics","level":4,"score":0.6876642107963562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5762709379196167},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5722648501396179},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.570319652557373},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.49595603346824646},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4679029881954193},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4235004186630249},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.41394370794296265},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.352580726146698},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2875902056694031},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2521631419658661},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.17280521988868713},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.05840834975242615},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf01211604","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01211604","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W43292587","https://openalex.org/W95793458","https://openalex.org/W632143945","https://openalex.org/W1490966766","https://openalex.org/W1511110335","https://openalex.org/W1512077518","https://openalex.org/W1554683232","https://openalex.org/W1560114152","https://openalex.org/W1567558468","https://openalex.org/W1578225692","https://openalex.org/W1964300195","https://openalex.org/W1973316014","https://openalex.org/W1980869384","https://openalex.org/W1990589200","https://openalex.org/W1991748341","https://openalex.org/W2002097778","https://openalex.org/W2003017965","https://openalex.org/W2017096836","https://openalex.org/W2023648368","https://openalex.org/W2030865387","https://openalex.org/W2035375650","https://openalex.org/W2038814435","https://openalex.org/W2062024564","https://openalex.org/W2066210260","https://openalex.org/W2076964487","https://openalex.org/W2077049952","https://openalex.org/W2087911432","https://openalex.org/W2103953153","https://openalex.org/W2104624174","https://openalex.org/W2110846749","https://openalex.org/W2111706174","https://openalex.org/W2113074643","https://openalex.org/W2117436651","https://openalex.org/W2147543351","https://openalex.org/W2315064349","https://openalex.org/W2328282051","https://openalex.org/W2561675875","https://openalex.org/W2591259409","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W3151246481","https://openalex.org/W4206644645","https://openalex.org/W4213381987","https://openalex.org/W4240175364","https://openalex.org/W4252706706","https://openalex.org/W4293176479","https://openalex.org/W6654928225"],"related_works":["https://openalex.org/W2944181359","https://openalex.org/W4286749899","https://openalex.org/W1539823645","https://openalex.org/W2108911687","https://openalex.org/W2081240192","https://openalex.org/W1602537816","https://openalex.org/W4213264068","https://openalex.org/W2370231096","https://openalex.org/W2970835900","https://openalex.org/W4230265084"],"abstract_inverted_index":{"Abstract":[0],"In":[1,16],"predicate":[2],"transformer":[3],"semantics,":[4,18],"a":[5,10,19],"program":[6,20],"is":[7,21],"represented":[8,22],"as":[9,23],"mapping":[11],"from":[12,42],"predicates":[13],"to":[14],"predicates.":[15],"relational":[17],"an":[24],"(input-output)":[25],"binary":[26],"relation":[27],"over":[28],"some":[29],"state":[30],"space.":[31],"We":[32],"show":[33],"how":[34],"each":[35],"of":[36],"these":[37],"approaches":[38],"can":[39],"be":[40],"obtained":[41],"the":[43,47],"other":[44],"by":[45],"using":[46],"power":[48],"construction":[49],".":[50]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}