{"id":"https://openalex.org/W89683948","doi":null,"title":"Implementation of Tag Representation in Prolog Virtual Machine.","display_name":"Implementation of Tag Representation in Prolog Virtual Machine.","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W89683948","mag":"89683948"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.112.8884","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.8884","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://iec.cugb.edu.cn/worldcomp2006/ser3820.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5060452704","display_name":"Guillaume Autran","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guillaume Autran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101699957","display_name":"Xining Li","orcid":"https://orcid.org/0000-0001-7966-4931","observed_orcids":["https://orcid.org/0000-0001-7966-4931"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xining Li","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7966-4931","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"883","last_page":"889"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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":1.0,"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.0,"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":0.0,"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/prolog","display_name":"Prolog","score":0.8399999737739563},{"id":"https://openalex.org/keywords/dynamic-type-checking","display_name":"dynamic type checking","score":0.8989999890327454},{"id":"https://openalex.org/keywords/type-compatibility","display_name":"type compatibility","score":0.7020000219345093},{"id":"https://openalex.org/keywords/unification","display_name":"unification","score":0.6710000038146973},{"id":"https://openalex.org/keywords/virtual-memory-management","display_name":"virtual memory management","score":0.9049999713897705},{"id":"https://openalex.org/keywords/data-representation","display_name":"data representation","score":0.5519999861717224}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8988195657730103},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8921201229095459},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.760651707649231},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5250862836837769},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.4306495487689972},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.41751474142074585}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.112.8884","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.8884","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://iec.cugb.edu.cn/worldcomp2006/ser3820.pdf","raw_type":"text"},{"id":"mag:89683948","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/serp/serp2006-2.html#AutranL06","pdf_url":null,"source":{"id":"https://openalex.org/S2764973118","display_name":"Software Engineering Research and Practice","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Software Engineering Research and Practice","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1559402073","https://openalex.org/W1563583573","https://openalex.org/W1586882919","https://openalex.org/W1969456304","https://openalex.org/W2034797403","https://openalex.org/W2073525783","https://openalex.org/W2169004268","https://openalex.org/W2212036697"],"related_works":["https://openalex.org/W2522852166","https://openalex.org/W2095878203","https://openalex.org/W2523052075","https://openalex.org/W1529607792","https://openalex.org/W1968066174","https://openalex.org/W1539912760","https://openalex.org/W2288063011","https://openalex.org/W2524784531","https://openalex.org/W2326425528","https://openalex.org/W1811359278"],"abstract_inverted_index":{"Even":[0],"if":[1],"it":[2,17,76],"is":[3,18,58,77],"understood":[4],"that":[5,62,75],"Prolog":[6,42,60],"execution":[7],"environment":[8],"performs":[9],"dynamic":[10],"type":[11,34],"checking":[12],"on":[13],"data":[14,85],"being":[15,86],"processed,":[16],"often":[19],"unclear":[20],"how":[21],"implementation":[22,53],"of":[23,54,83],"the":[24,28,33,48,81,84,96],"language":[25],"internally":[26],"represents":[27],"information":[29],"used":[30,46],"to":[31,79],"verify":[32],"compatibility.":[35],"In":[36],"this":[37],"paper":[38],"we":[39,94],"describe":[40],"a":[41,59,64,69],"tag":[43],"encoding":[44],"mechanism":[45],"in":[47],"Logic":[49],"Virtual":[50],"Machine":[51],"(LVM)":[52],"Prolog.":[55],"The":[56],"LVM":[57],"engine":[61],"uses":[63],"merged":[65],"heap/stack":[66],"architecture":[67],"and":[68,93],"virtual":[70],"memory":[71,92],"manager.":[72],"We":[73],"show":[74],"possible":[78],"retain":[80],"integrity":[82],"tagged":[87],"without":[88],"requiring":[89],"much":[90],"extra":[91],"explain":[95],"steps":[97],"taken":[98],"for":[99],"proper":[100],"unification.":[101]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}