{"id":"https://openalex.org/W7153275265","doi":"https://doi.org/10.1007/978-3-032-22723-2_2","title":"Lenses for Partially-Specified States","display_name":"Lenses for Partially-Specified States","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7153275265","doi":"https://doi.org/10.1007/978-3-032-22723-2_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-22723-2_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-22723-2_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research-information.bris.ac.uk/en/publications/4ad0bab0-13c4-4e2d-a269-1d2b56fff929","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004575068","display_name":"Kazutaka Matsuda","orcid":"https://orcid.org/0000-0002-9747-4899"},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kazutaka Matsuda","raw_affiliation_strings":["Tohoku University, Sendai, 980-8579, Japan"],"raw_orcid":"https://orcid.org/0000-0002-9747-4899","affiliations":[{"raw_affiliation_string":"Tohoku University, Sendai, 980-8579, Japan","institution_ids":["https://openalex.org/I201537933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074208023","display_name":"Minh Son Nguyen","orcid":"https://orcid.org/0000-0003-3845-9928"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Minh Nguyen","raw_affiliation_strings":["University of Bristol, Bristol, BS8 1TH, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-3845-9928","affiliations":[{"raw_affiliation_string":"University of Bristol, Bristol, BS8 1TH, United Kingdom","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":null,"display_name":"Meng Wang","orcid":"https://orcid.org/0000-0001-7780-630X"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Meng Wang","raw_affiliation_strings":["University of Bristol, Bristol, BS8 1TH, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-7780-630X","affiliations":[{"raw_affiliation_string":"University of Bristol, Bristol, BS8 1TH, United Kingdom","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004575068"],"corresponding_institution_ids":["https://openalex.org/I201537933"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.84158293,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"32","last_page":"63"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.4049000144004822,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.4049000144004822,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.12219999730587006,"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.07090000063180923,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/semantics","display_name":"Semantics (computer science)","score":0.6366999745368958},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5773000121116638},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.3160000145435333},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.29490000009536743},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.2676999866962433}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8626999855041504},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6366999745368958},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5773000121116638},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41990000009536743},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3537999987602234},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34209999442100525},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.3160000145435333},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.29490000009536743},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2581000030040741},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-032-22723-2_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-22723-2_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire/4ad0bab0-13c4-4e2d-a269-1d2b56fff929","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/4ad0bab0-13c4-4e2d-a269-1d2b56fff929","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Matsuda, K, Nguyen, M H & Wang, M 2026, Lenses for Partially-Specified States. in R Krebbers (ed.), Programming Languages and Systems : 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11\u201316, 2026, Proceedings, Part II. Lecture Notes in Computer Science, vol. 16501, Springer, pp. 32-63. https://doi.org/10.1007/978-3-032-22723-2_2","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/4ad0bab0-13c4-4e2d-a269-1d2b56fff929","is_oa":true,"landing_page_url":"https://hdl.handle.net/1983/4ad0bab0-13c4-4e2d-a269-1d2b56fff929","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Matsuda, K, Nguyen, M H & Wang, M 2026, Lenses for Partially-Specified States. in R Krebbers (ed.), Programming Languages and Systems : 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11\u201316, 2026, Proceedings, Part II. Lecture Notes in Computer Science, vol. 16501, Springer, pp. 32-63. https://doi.org/10.1007/978-3-032-22723-2_2","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:research-information.bris.ac.uk:openaire/4ad0bab0-13c4-4e2d-a269-1d2b56fff929","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/4ad0bab0-13c4-4e2d-a269-1d2b56fff929","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Matsuda, K, Nguyen, M H & Wang, M 2026, Lenses for Partially-Specified States. in R Krebbers (ed.), Programming Languages and Systems : 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11\u201316, 2026, Proceedings, Part II. Lecture Notes in Computer Science, vol. 16501, Springer, pp. 32-63. https://doi.org/10.1007/978-3-032-22723-2_2","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W175712399","https://openalex.org/W1506888682","https://openalex.org/W1516319412","https://openalex.org/W1560650189","https://openalex.org/W1567793656","https://openalex.org/W1568396250","https://openalex.org/W1570577173","https://openalex.org/W1797766883","https://openalex.org/W1966337472","https://openalex.org/W1968796785","https://openalex.org/W2000616678","https://openalex.org/W2001623199","https://openalex.org/W2013616027","https://openalex.org/W2019746614","https://openalex.org/W2019962118","https://openalex.org/W2024951218","https://openalex.org/W2037471787","https://openalex.org/W2046832714","https://openalex.org/W2058338955","https://openalex.org/W2076676096","https://openalex.org/W2092546644","https://openalex.org/W2103463094","https://openalex.org/W2113582770","https://openalex.org/W2121357705","https://openalex.org/W2125713144","https://openalex.org/W2146462464","https://openalex.org/W2150771261","https://openalex.org/W2151592950","https://openalex.org/W2235620066","https://openalex.org/W2237682209","https://openalex.org/W2295616151","https://openalex.org/W2601103017","https://openalex.org/W2794506834","https://openalex.org/W2796830478","https://openalex.org/W2885852056","https://openalex.org/W2889867746","https://openalex.org/W2890873226","https://openalex.org/W2911842351","https://openalex.org/W3092995368","https://openalex.org/W3146412812","https://openalex.org/W4244238952","https://openalex.org/W4245100030","https://openalex.org/W4253929418","https://openalex.org/W4284687577","https://openalex.org/W4296311494","https://openalex.org/W4386316891","https://openalex.org/W4386317173","https://openalex.org/W4390604666","https://openalex.org/W4406221550"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-29T09:16:38.111599","created_date":"2026-04-11T00:00:00"}