{"id":"https://openalex.org/W2113956592","doi":"https://doi.org/10.1007/978-3-642-32211-2_16","title":"A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog","display_name":"A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2113956592","doi":"https://doi.org/10.1007/978-3-642-32211-2_16","mag":"2113956592"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-32211-2_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-32211-2_16","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/A5072166791","display_name":"Thomas Str\u00f6der","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Thomas Str\u00f6der","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen University, Germany","Lufg informatik 2, rwth aachen university, germany#TAB#"],"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Lufg informatik 2, rwth aachen university, germany#TAB#","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050663198","display_name":"Fabian Emmes","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Fabian Emmes","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen University, Germany","Lufg informatik 2, rwth aachen university, germany#TAB#"],"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Lufg informatik 2, rwth aachen university, germany#TAB#","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058200123","display_name":"Peter Schneider\u2013Kamp","orcid":"https://orcid.org/0000-0003-4000-5570"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Peter Schneider-Kamp","raw_affiliation_strings":["IMADA, University of Southern Denmark, Denmark","IMADA, University of Southern Denmark, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"IMADA, University of Southern Denmark, Denmark","institution_ids":["https://openalex.org/I177969490"]},{"raw_affiliation_string":"IMADA, University of Southern Denmark, Denmark#TAB#","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025232172","display_name":"J\u00fcrgen Giesl","orcid":"https://orcid.org/0000-0003-0283-8520"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00fcrgen Giesl","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen University, Germany","Lufg informatik 2, rwth aachen university, germany#TAB#"],"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Lufg informatik 2, rwth aachen university, germany#TAB#","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045363254","display_name":"Carsten Fuhs","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Carsten Fuhs","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen University, Germany","Lufg informatik 2, rwth aachen university, germany#TAB#"],"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Lufg informatik 2, rwth aachen university, germany#TAB#","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5072166791"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.2164,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.89359223,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"237","last_page":"252"},"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.9994999766349792,"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.9994999766349792,"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.9984999895095825,"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.9977999925613403,"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/prolog","display_name":"Prolog","score":0.8425600528717041},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8297634124755859},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6856695413589478},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.6729683876037598},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6110361218452454},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35507291555404663}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8425600528717041},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8297634124755859},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6856695413589478},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.6729683876037598},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6110361218452454},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35507291555404663}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-642-32211-2_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-32211-2_16","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:sdu.dk:publications/de7fef3d-cec2-4da3-8666-f6899d3739c8","is_oa":false,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/de7fef3d-cec2-4da3-8666-f6899d3739c8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Str\u00f6der, T, Emmes, F, Schneider-Kamp, P, Giesl, J & Fuhs, C 2012, A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. in Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12). Association for Computing Machinery, Lecture Notes in Computer Science, vol. 7225, pp. 237-252. https://doi.org/10.1007/978-3-642-32211-2_16","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.226.3322","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.3322","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-i2.informatik.rwth-aachen.de/fuhs/papers/PrologSemanticsReport.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.226.3614","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.3614","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://verify.rwth-aachen.de/fuhs/papers/LOPSTR11-prologsemantics.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.228.9747","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.9747","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://verify.rwth-aachen.de/giesl/papers/LOPSTR11-distribute.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1410026","is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1410026/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In: Vidal, G, (ed.)   (pp. pp. 237-252).  Springer (2011)     ","raw_type":"Proceedings paper"},{"id":"pmh:oai:publications.rwth-aachen.de:207328","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/207328","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18 - 20, 2011 ; revised selected papers / Germ\u00e1n Vidal (ed.). - LNCS 7225<br/>Logic-based program synthesis and transformation : 21. international symposium, LOPSTR 2011, Odense, Denmark, 2011-07-18 - 2011-07-20","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W38697619","https://openalex.org/W158887749","https://openalex.org/W1479857163","https://openalex.org/W1517466677","https://openalex.org/W1590111213","https://openalex.org/W1597918680","https://openalex.org/W1768718906","https://openalex.org/W1913470731","https://openalex.org/W1936084083","https://openalex.org/W1985058553","https://openalex.org/W1987831438","https://openalex.org/W2007385440","https://openalex.org/W2012069736","https://openalex.org/W2058402932","https://openalex.org/W2063236708","https://openalex.org/W2072493788","https://openalex.org/W2079189204","https://openalex.org/W2113956592","https://openalex.org/W2123968982","https://openalex.org/W2128219525","https://openalex.org/W2131540458","https://openalex.org/W2149677005","https://openalex.org/W2491413729","https://openalex.org/W2798401172"],"related_works":["https://openalex.org/W1485791179","https://openalex.org/W4249558550","https://openalex.org/W1999702466","https://openalex.org/W193767869","https://openalex.org/W1480341462","https://openalex.org/W33240934","https://openalex.org/W2063928587","https://openalex.org/W2088766201","https://openalex.org/W1912336851","https://openalex.org/W2286255795"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}