{"id":"https://openalex.org/W2154087241","doi":"https://doi.org/10.1017/s1471068414000672","title":"Description and Optimization of Abstract Machines in a Dialect of Prolog","display_name":"Description and Optimization of Abstract Machines in a Dialect of Prolog","publication_year":2015,"publication_date":"2015-01-05","ids":{"openalex":"https://openalex.org/W2154087241","doi":"https://doi.org/10.1017/s1471068414000672","mag":"2154087241"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068414000672","doi":"https://doi.org/10.1017/s1471068414000672","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068414000672","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-b","jufo-2","norway-1","poland-70","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://oa.upm.es/52656/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008145265","display_name":"Jos\u00e9 F. Morales","orcid":"https://orcid.org/0000-0001-9782-8135","observed_orcids":["https://orcid.org/0000-0001-9782-8135"]},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"JOS\u00c9 F. MORALES","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain (e-mail:","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030575094","display_name":"Manuel Carro","orcid":"https://orcid.org/0000-0001-5199-3135","observed_orcids":["https://orcid.org/0000-0001-5199-3135"]},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MANUEL CARRO","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain (e-mail:","School of Computer Science, Technical University of Madrid (UPM), Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain (e-mail:","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"School of Computer Science, Technical University of Madrid (UPM), Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X","observed_orcids":["https://orcid.org/0000-0002-7583-323X"]},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MANUEL HERMENEGILDO","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain (e-mail:","School of Computer Science, Technical University of Madrid (UPM), Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain (e-mail:","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"School of Computer Science, Technical University of Madrid (UPM), Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":1.9099,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.8826072,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"16","issue":"1","first_page":"1","last_page":"58"},"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.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/abstract-machines","display_name":"abstract machines","score":0.9779999852180481},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7149999737739563},{"id":"https://openalex.org/keywords/virtual-machines","display_name":"virtual machines","score":0.7739999890327454},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.640999972820282},{"id":"https://openalex.org/keywords/compiler-optimization","display_name":"compiler optimization","score":0.6079999804496765}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9057999849319458},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8842999935150146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.800000011920929},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.7702999711036682},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5752000212669373},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5246000289916992},{"id":"https://openalex.org/C2779545769","wikidata":"https://www.wikidata.org/wiki/Q5135364","display_name":"Closeness","level":2,"score":0.5094000101089478},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.46149998903274536},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3151000142097473},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.29490000009536743},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2842000126838684},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1017/s1471068414000672","doi":"https://doi.org/10.1017/s1471068414000672","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068414000672","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-b","jufo-2","norway-1","poland-70","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:hispana.mcu.es:61146982","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/52656/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196108","display_name":"Hispana","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, ISSN 1475-3081, 2015, Vol. 16, No. 1","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:oa.upm.es:52656","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/52656/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402421","display_name":"Archivo Digital UPM (Universidad Polit\u00e9cnica de Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, ISSN 1475-3081, 2015, Vol. 16, No. 1","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:arXiv.org:1411.5573","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1411.5573","pdf_url":"https://arxiv.org/pdf/1411.5573","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:dnet:archivodigit::3376daa5fa3e9b23790928524981c423","doi":null,"is_oa":true,"landing_page_url":"http://oa.upm.es/52656/","pdf_url":"http://oa.upm.es/52656/","source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, ISSN 1475-3081, 2015, Vol. 16, No. 1","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.156.17","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.17","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://clip.dia.fi.upm.es/papers/morales09:improlog-tr.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.719.1589","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.719.1589","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://clip.dia.fi.upm.es/papers/morales15%3Aimprolog-tplp.pdf","raw_type":"text"},{"id":"pmh:oai:hispana.mcu.es:61123913","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/55478/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196108","display_name":"Hispana","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:oai:oa.upm.es:55478","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/55478/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.48550/arxiv.1411.5573","doi":"https://doi.org/10.48550/arxiv.1411.5573","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1411.5573","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:hispana.mcu.es:61146982","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/52656/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196108","display_name":"Hispana","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, ISSN 1475-3081, 2015, Vol. 16, No. 1","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G7371578683","display_name":null,"funder_award_id":"TIN2012-39391","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G8137227107","display_name":"Whole-Systems Energy Transparency","funder_award_id":"318337","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2154087241.pdf","grobid_xml":"https://content.openalex.org/works/W2154087241.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W29395856","https://openalex.org/W39526291","https://openalex.org/W79760435","https://openalex.org/W95576201","https://openalex.org/W159226319","https://openalex.org/W180178756","https://openalex.org/W228544153","https://openalex.org/W1278612252","https://openalex.org/W1485320411","https://openalex.org/W1486324663","https://openalex.org/W1496444438","https://openalex.org/W1508161107","https://openalex.org/W1518216093","https://openalex.org/W1518788700","https://openalex.org/W1530717542","https://openalex.org/W1531108889","https://openalex.org/W1532795106","https://openalex.org/W1533556407","https://openalex.org/W1534192350","https://openalex.org/W1552851008","https://openalex.org/W1553616198","https://openalex.org/W1559402073","https://openalex.org/W1570041031","https://openalex.org/W1571035569","https://openalex.org/W1579672261","https://openalex.org/W1579914521","https://openalex.org/W1595143656","https://openalex.org/W1598886868","https://openalex.org/W1638365353","https://openalex.org/W1753357466","https://openalex.org/W1819779993","https://openalex.org/W1970664558","https://openalex.org/W1982243747","https://openalex.org/W1984187667","https://openalex.org/W1991332789","https://openalex.org/W2019417713","https://openalex.org/W2036830099","https://openalex.org/W2058213389","https://openalex.org/W2058847156","https://openalex.org/W2095510547","https://openalex.org/W2095625847","https://openalex.org/W2104948204","https://openalex.org/W2116325485","https://openalex.org/W2116517691","https://openalex.org/W2124571243","https://openalex.org/W2134742630","https://openalex.org/W2141442517","https://openalex.org/W2142044962","https://openalex.org/W2147129365","https://openalex.org/W2153185479","https://openalex.org/W2155247860","https://openalex.org/W2163976959","https://openalex.org/W2339697242","https://openalex.org/W2476859540","https://openalex.org/W2482804480","https://openalex.org/W2520337665","https://openalex.org/W2886271628","https://openalex.org/W4246166885","https://openalex.org/W4254639226","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W7097837885","https://openalex.org/W1534192350","https://openalex.org/W1827267273","https://openalex.org/W2000121592","https://openalex.org/W310461961","https://openalex.org/W7001079403","https://openalex.org/W4292013181","https://openalex.org/W2006804775","https://openalex.org/W42303964","https://openalex.org/W2095878203"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"order":[2],"to":[3,42,53,107,111,118,128],"achieve":[4],"competitive":[5],"performance,":[6],"abstract":[7,63,131,158],"machines":[8],"for":[9,92],"Prolog":[10,93,139],"and":[11,18,20,28,59,109,125,141,165],"related":[12],"languages":[13,45],"end":[14],"up":[15],"being":[16],"large":[17],"intricate,":[19],"incorporate":[21],"sophisticated":[22],"optimizations,":[23],"both":[24],"at":[25,29],"the":[26,30,34,62,81,119,122,130],"design":[27],"implementation":[31],"levels.":[32],"At":[33],"same":[35],"time,":[36],"efficiency":[37],"considerations":[38],"make":[39],"it":[40],"necessary":[41],"use":[43],"low-level":[44],"in":[46,68],"their":[47],"implementation.":[48],"This":[49],"makes":[50],"them":[51],"laborious":[52],"code,":[54],"optimize,":[55],"and,":[56],"especially,":[57],"maintain":[58],"extend.":[60],"Writing":[61],"machine":[64,91,132,159],"(and":[65],"ancillary":[66],"code)":[67],"a":[69,113],"higher-level":[70],"language":[71,123],"can":[72,94,134,163],"help":[73],"tame":[74],"this":[75],"inherent":[76],"complexity.":[77],"We":[78,147],"show":[79,149],"how":[80],"semantics":[82],"of":[83,87,121,169],"most":[84],"basic":[85],"components":[86],"an":[88],"efficient":[89],"virtual":[90],"be":[95,135],"described":[96],"using":[97,137],"(a":[98],"variant":[99],"of)":[100],"Prolog.":[101],"These":[102],"descriptions":[103],"are":[104],"then":[105],"compiled":[106],"C":[108],"assembled":[110],"build":[112],"complete":[114],"bytecode":[115],"emulator.":[116],"Thanks":[117],"high-level":[120],"used":[124],"its":[126],"closeness":[127],"Prolog,":[129],"description":[133],"manipulated":[136],"standard":[138],"compilation":[140],"optimization":[142],"techniques":[143],"with":[144],"relative":[145],"ease.":[146],"also":[148],"how,":[150],"by":[151],"applying":[152],"program":[153],"transformations":[154],"selectively,":[155],"we":[156],"obtain":[157],"implementations":[160],"whose":[161],"performance":[162],"match":[164],"even":[166],"exceed":[167],"that":[168],"state-of-the-art,":[170],"highly-tuned,":[171],"hand-crafted":[172],"emulators.":[173]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}