{"id":"https://openalex.org/W2183918655","doi":null,"title":"Abstract Interpretation, Bug Detection and Bug Diagnosis in Normal Logic Programs","display_name":"Abstract Interpretation, Bug Detection and Bug Diagnosis in Normal Logic Programs","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2183918655","mag":"2183918655"},"language":"en","primary_location":{"id":"mag:2183918655","doi":null,"is_oa":false,"landing_page_url":"https://secs.oakland.edu/~l2lu/pubs/phd.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"conference-abstract","is_traditional":false,"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/A5015062108","display_name":"Lunjin Lu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lunjin Lu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5015062108"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.5976999998092651,"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.5976999998092651,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.2094999998807907,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.13760000467300415,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.9990000128746033},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.9710000157356262},{"id":"https://openalex.org/keywords/bug-diagnosis","display_name":"bug diagnosis","score":0.9940000176429749},{"id":"https://openalex.org/keywords/normal-logic-programs","display_name":"normal logic programs","score":0.9330000281333923},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.8069999814033508},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.574999988079071}],"concepts":[{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6353026628494263},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5360468029975891},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5210461020469666},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3641164302825928}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2183918655","doi":null,"is_oa":false,"landing_page_url":"https://secs.oakland.edu/~l2lu/pubs/phd.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"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":113,"referenced_works":["https://openalex.org/W10593442","https://openalex.org/W15157627","https://openalex.org/W35071910","https://openalex.org/W52171273","https://openalex.org/W57459631","https://openalex.org/W61053254","https://openalex.org/W65123984","https://openalex.org/W80729329","https://openalex.org/W99535058","https://openalex.org/W100418935","https://openalex.org/W109273855","https://openalex.org/W128105748","https://openalex.org/W159226319","https://openalex.org/W162967427","https://openalex.org/W169032359","https://openalex.org/W171682210","https://openalex.org/W172304938","https://openalex.org/W174787382","https://openalex.org/W175673991","https://openalex.org/W179454038","https://openalex.org/W191345650","https://openalex.org/W207722629","https://openalex.org/W266212533","https://openalex.org/W331842672","https://openalex.org/W1480557038","https://openalex.org/W1482995204","https://openalex.org/W1493841763","https://openalex.org/W1506931111","https://openalex.org/W1512430382","https://openalex.org/W1517401699","https://openalex.org/W1522225310","https://openalex.org/W1524529089","https://openalex.org/W1535051828","https://openalex.org/W1535670175","https://openalex.org/W1541262079","https://openalex.org/W1541434994","https://openalex.org/W1542847539","https://openalex.org/W1543219883","https://openalex.org/W1544975770","https://openalex.org/W1549124866","https://openalex.org/W1549670828","https://openalex.org/W1551712502","https://openalex.org/W1568232257","https://openalex.org/W1568478782","https://openalex.org/W1584053602","https://openalex.org/W1584616449","https://openalex.org/W1586338668","https://openalex.org/W1586852614","https://openalex.org/W1596362185","https://openalex.org/W1597162797","https://openalex.org/W1605494584","https://openalex.org/W1872875715","https://openalex.org/W1963910234","https://openalex.org/W1965377774","https://openalex.org/W1970420209","https://openalex.org/W1972185528","https://openalex.org/W1974411748","https://openalex.org/W1975813326","https://openalex.org/W1989678938","https://openalex.org/W1997189447","https://openalex.org/W2001265243","https://openalex.org/W2002183011","https://openalex.org/W2006159725","https://openalex.org/W2007798926","https://openalex.org/W2012662948","https://openalex.org/W2014764321","https://openalex.org/W2015755355","https://openalex.org/W2017860618","https://openalex.org/W2020091474","https://openalex.org/W2023578426","https://openalex.org/W2027026606","https://openalex.org/W2027657506","https://openalex.org/W2037439718","https://openalex.org/W2038037493","https://openalex.org/W2040829310","https://openalex.org/W2043827880","https://openalex.org/W2045193582","https://openalex.org/W2051113166","https://openalex.org/W2052344580","https://openalex.org/W2056458682","https://openalex.org/W2063818163","https://openalex.org/W2066811912","https://openalex.org/W2068981034","https://openalex.org/W2069076448","https://openalex.org/W2069592207","https://openalex.org/W2071756645","https://openalex.org/W2076696436","https://openalex.org/W2079482412","https://openalex.org/W2081810835","https://openalex.org/W2089111669","https://openalex.org/W2091917067","https://openalex.org/W2092371432","https://openalex.org/W2098120938","https://openalex.org/W2098614591","https://openalex.org/W2108911687","https://openalex.org/W2111304450","https://openalex.org/W2111326547","https://openalex.org/W2119249385","https://openalex.org/W2126384248","https://openalex.org/W2131470156","https://openalex.org/W2133247167","https://openalex.org/W2134080718","https://openalex.org/W2140285445","https://openalex.org/W2140502249","https://openalex.org/W2146289202","https://openalex.org/W2149903685","https://openalex.org/W2166104229","https://openalex.org/W2293624369","https://openalex.org/W2296535065","https://openalex.org/W2396553303","https://openalex.org/W2521486077","https://openalex.org/W2612793397","https://openalex.org/W4230605145"],"related_works":["https://openalex.org/W2132278437","https://openalex.org/W154421620","https://openalex.org/W6998301263","https://openalex.org/W2544973618","https://openalex.org/W7099873680","https://openalex.org/W34313237","https://openalex.org/W7112240838","https://openalex.org/W7113653675","https://openalex.org/W2808906164","https://openalex.org/W7100067235"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}