{"id":"https://openalex.org/W1522332586","doi":"https://doi.org/10.1007/3-540-48168-0_39","title":"Data-Refinement for Call-By-Value Programming Languages","display_name":"Data-Refinement for Call-By-Value Programming Languages","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1522332586","doi":"https://doi.org/10.1007/3-540-48168-0_39","mag":"1522332586"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-48168-0_39","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-48168-0_39","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109377955","display_name":"Yoshiki Kinoshita","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yoshiki Kinoshita","raw_affiliation_strings":["Electrotechnical Laboratory, Tsukuba-shi, Ibaraki, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrotechnical Laboratory, Tsukuba-shi, Ibaraki, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082619162","display_name":"John Power","orcid":"https://orcid.org/0000-0002-3816-8509"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Power","raw_affiliation_strings":["Laboratory for the Foundations of Computer Science, University of Edinburgh, King\u2019s Buildings, Edinburgh EH9 3JZ, Scotland","Laboratory for the Foundations of Computer Science, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for the Foundations of Computer Science, University of Edinburgh, King\u2019s Buildings, Edinburgh EH9 3JZ, Scotland","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Laboratory for the Foundations of Computer Science, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.8047,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.84261364,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"562","last_page":"576"},"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.9994000196456909,"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.9994000196456909,"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.9976999759674072,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9965999722480774,"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.7361361384391785},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.7168504595756531},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.5339153409004211},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49895262718200684},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4838603734970093},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.4754340648651123},{"id":"https://openalex.org/keywords/logical-data-model","display_name":"Logical data model","score":0.4405280351638794},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.33716344833374023},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24994108080863953},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23258665204048157},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.17294606566429138}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7361361384391785},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.7168504595756531},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.5339153409004211},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49895262718200684},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4838603734970093},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.4754340648651123},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.4405280351638794},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33716344833374023},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24994108080863953},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23258665204048157},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.17294606566429138},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-48168-0_39","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-48168-0_39","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"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W9614445","https://openalex.org/W326743114","https://openalex.org/W1507692549","https://openalex.org/W1543071126","https://openalex.org/W1580933871","https://openalex.org/W1583036869","https://openalex.org/W1606119104","https://openalex.org/W2008212936","https://openalex.org/W2024464191","https://openalex.org/W2049362364","https://openalex.org/W2062010979","https://openalex.org/W2084788336","https://openalex.org/W2101416179","https://openalex.org/W2103579013","https://openalex.org/W2123546155","https://openalex.org/W2132459858","https://openalex.org/W2146255646","https://openalex.org/W2155057730","https://openalex.org/W2156876717","https://openalex.org/W2579582130","https://openalex.org/W3023216518","https://openalex.org/W4241804335","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3048243594","https://openalex.org/W2037735945","https://openalex.org/W1964149748","https://openalex.org/W1835470262","https://openalex.org/W2184674784","https://openalex.org/W279778610","https://openalex.org/W1587674968","https://openalex.org/W3023964411","https://openalex.org/W2123589391","https://openalex.org/W3152511098"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}