{"id":"https://openalex.org/W2026576193","doi":"https://doi.org/10.1002/scj.4690180209","title":"Analysis of list structures generated by lisp functions","display_name":"Analysis of list structures generated by lisp functions","publication_year":1987,"publication_date":"1987-01-01","ids":{"openalex":"https://openalex.org/W2026576193","doi":"https://doi.org/10.1002/scj.4690180209","mag":"2026576193"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690180209","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690180209","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","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/A5110482275","display_name":"Y. Ohta","orcid":null},"institutions":[{"id":"https://openalex.org/I16718484","display_name":"Hess (United States)","ror":"https://ror.org/00zbk1w77","country_code":"US","type":"company","lineage":["https://openalex.org/I16718484"]},{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Yoshikatsu Ohta","raw_affiliation_strings":["Computation Center, Nagoya University, Nagoya, Japan 464","Yoshikatsu Ohta graduated with a B.S. degree from Department of Electrical Engineering, Faculty of Engineering, Nagoya University in 1976. By 1978 h e completed the first half of the doctorateprogram for information engineering at the same university. He was appointed as an assistant at the Department of Electronics , Faculty of Engineering, Mie University in 1978. He was appointedas an assistant at the Education Center for Information Processing at Nagoya University. In 1985 he was appointed as an assistant at the Large-Scale Computer Center at Nagoya University. His research interest is in the areas of human intelligence and systems and programs of computers. He is a member of Society for Information Processing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computation Center, Nagoya University, Nagoya, Japan 464","institution_ids":["https://openalex.org/I60134161"]},{"raw_affiliation_string":"Yoshikatsu Ohta graduated with a B.S. degree from Department of Electrical Engineering, Faculty of Engineering, Nagoya University in 1976. By 1978 h e completed the first half of the doctorateprogram for information engineering at the same university. He was appointed as an assistant at the Department of Electronics , Faculty of Engineering, Mie University in 1978. He was appointedas an assistant at the Education Center for Information Processing at Nagoya University. In 1985 he was appointed as an assistant at the Large-Scale Computer Center at Nagoya University. His research interest is in the areas of human intelligence and systems and programs of computers. He is a member of Society for Information Processing","institution_ids":["https://openalex.org/I16718484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103328961","display_name":"Yuuji Yoshida","orcid":null},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yuuji Yoshida","raw_affiliation_strings":["Faculty of Engineering, Nagoya University, Nagoya, Japan 464","Yuji Yoshida graduated with a B.S. degree from the Department of Electronics , Faculty of Engineering, Nagoya University in 1965. He received a degree of doctor of engineering from the graduate school of Nagoya University in 1970. His academic appointments were assistant , assistant professor at the Large-Scale Comptuer Center there , associate professor , Department of Electrical Engineering and professor of Information Engineering at Nagoya University. His research interestis in the areas of information processing for weather maps and systems and programs of computers. He is a member of Institute of Electrical Engineers of Japan and Society for Information Processing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Nagoya University, Nagoya, Japan 464","institution_ids":["https://openalex.org/I60134161"]},{"raw_affiliation_string":"Yuji Yoshida graduated with a B.S. degree from the Department of Electronics , Faculty of Engineering, Nagoya University in 1965. He received a degree of doctor of engineering from the graduate school of Nagoya University in 1970. His academic appointments were assistant , assistant professor at the Large-Scale Comptuer Center there , associate professor , Department of Electrical Engineering and professor of Information Engineering at Nagoya University. His research interestis in the areas of information processing for weather maps and systems and programs of computers. He is a member of Institute of Electrical Engineers of Japan and Society for Information Processing","institution_ids":["https://openalex.org/I60134161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110354601","display_name":"Teruo Fukumura","orcid":null},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Teruo Fukumura","raw_affiliation_strings":["Faculty of Engineering, Nagoya University, Nagoya, Japan 464","Teruo Fukumura graduated with a B.S. degree from Department of Electrical Engineering, Faculty of Engineering, Nagoya University in 1949. His affiliation with Nagoya University began in 1949 and in 1972 he was appointed as a faculty staff of Department of Information Engineering, and currently he is a professor there. He received a degree of doctor of engineering. His research activities involved pattern recognition from images, theories of automation, and systems of electronic computers. He published two books: Introduction to OR (co author, Hirokawa Book Co., Ltd.) and Theory of Information (Corona Publishing Co., Ltd.)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Nagoya University, Nagoya, Japan 464","institution_ids":["https://openalex.org/I60134161"]},{"raw_affiliation_string":"Teruo Fukumura graduated with a B.S. degree from Department of Electrical Engineering, Faculty of Engineering, Nagoya University in 1949. His affiliation with Nagoya University began in 1949 and in 1972 he was appointed as a faculty staff of Department of Information Engineering, and currently he is a professor there. He received a degree of doctor of engineering. His research activities involved pattern recognition from images, theories of automation, and systems of electronic computers. He published two books: Introduction to OR (co author, Hirokawa Book Co., Ltd.) and Theory of Information (Corona Publishing Co., Ltd.)","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5332,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61979252,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"2","first_page":"90","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9939000010490417,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9882000088691711,"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/lisp","display_name":"Lisp","score":0.9876922369003296},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.7884726524353027},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7853446006774902},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7775472402572632},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.6293522119522095},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.5869510769844055},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.5380359292030334},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3830716013908386},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.2882987856864929}],"concepts":[{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.9876922369003296},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.7884726524353027},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7853446006774902},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7775472402572632},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.6293522119522095},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.5869510769844055},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.5380359292030334},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3830716013908386},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.2882987856864929}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690180209","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690180209","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1601555688","https://openalex.org/W2026576193","https://openalex.org/W2049384349","https://openalex.org/W2076878931"],"related_works":["https://openalex.org/W1599369903","https://openalex.org/W2127007340","https://openalex.org/W121380981","https://openalex.org/W2016136767","https://openalex.org/W2593217235","https://openalex.org/W2631615588","https://openalex.org/W2064889208","https://openalex.org/W638884614","https://openalex.org/W2033069063","https://openalex.org/W1970364639"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"occurrence":[2,38],"of":[3,18,25,39,47],"garbage":[4,40],"cells":[5],"generated":[6,28],"by":[7,29],"pure\u2010lisp":[8,50],"like":[9],"programs":[10,52],"is":[11],"formalized.":[12],"First,":[13],"we":[14,35],"define":[15],"some":[16,45],"classes":[17],"LISP":[19],"functions":[20],"which":[21],"characterize":[22],"the":[23,37],"properties":[24],"list":[26],"structures":[27],"them.":[30],"Then":[31],"using":[32],"these":[33],"classes,":[34],"formalize":[36],"cells.":[41],"We":[42],"also":[43],"present":[44],"results":[46],"analysis":[48],"for":[49],"interpreter":[51],"written":[53],"in":[54],"LISP.":[55]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}