{"id":"https://openalex.org/W147434432","doi":null,"title":"Data-Flow Analysis for Constraint Logic-Based Languages","display_name":"Data-Flow Analysis for Constraint Logic-Based Languages","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W147434432","mag":"147434432"},"language":"en","primary_location":{"id":"mag:147434432","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.unipr.it/~bagnara/Papers/PDF/PhDthesis.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":"article","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/A5057370941","display_name":"Roberto Bagnara A","orcid":"https://orcid.org/0000-0002-6163-6278","observed_orcids":["https://orcid.org/0000-0002-6163-6278"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roberto Bagnara","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6163-6278","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Antonio Bassi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Antonio Bassi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082267263","display_name":"D. Bollini","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D. Bollini","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014997730","display_name":"Luigi degli Esposti","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luigi degli Esposti","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068157905","display_name":"P.L. Frabetti","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P.L. Frabetti","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"M. Lolli","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M. Lolli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060774597","display_name":"Patrizia Nicoli","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrizia Nicoli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025908133","display_name":"Tim Berners\u2010Lee","orcid":"https://orcid.org/0000-0003-1279-3709","observed_orcids":["https://orcid.org/0000-0003-1279-3709"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tim Berners\u2010Lee","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-1279-3709","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035169497","display_name":"A. Bogaerts","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andre Bogaerts","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113837888","display_name":"Roberto Divi\u00e0","orcid":"https://orcid.org/0000-0002-6357-7857","observed_orcids":["https://orcid.org/0000-0002-6357-7857"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"R. Divi\u00e0","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056588147","display_name":"Philippe Gavillet","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philippe Gavillet","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003587023","display_name":"Giorgio Heiman","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giorgio Heiman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109991015","display_name":"Hans M\u00fcller","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hans M\u00fcller","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Chris Parkman","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chris Parkman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Antonio Luigi Pastore","orcid":"https://orcid.org/0000-0003-4293-9174","observed_orcids":["https://orcid.org/0000-0003-4293-9174"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Antonio Luigi Pastore","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4293-9174","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yves Perrin","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yves Perrin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"J\u00f8rgen B. B. Petersen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J\u00f8rgen B. B. Petersen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100713238","display_name":"Achille Petrilli","orcid":"https://orcid.org/0000-0003-0887-1882","observed_orcids":["https://orcid.org/0000-0003-0887-1882"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. Petrilli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.5936,"has_fulltext":false,"cited_by_count":43,"citation_normalized_percentile":{"value":0.96622197,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":94},"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.9970999956130981,"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.9970999956130981,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.00039999998989515007,"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/T10142","display_name":"Formal Methods in Verification","score":0.0003000000142492354,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"data flow analysis","score":0.996999979019165},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"constraint logic programming","score":0.8149999976158142},{"id":"https://openalex.org/keywords/logic-programming-languages","display_name":"logic programming languages","score":0.6710000038146973},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.7609999775886536}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5858545303344727},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.46882766485214233},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44735491275787354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3539577126502991},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33371737599372864},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30404067039489746},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:147434432","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.unipr.it/~bagnara/Papers/PDF/PhDthesis.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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":102,"referenced_works":["https://openalex.org/W22297848","https://openalex.org/W33526015","https://openalex.org/W52567473","https://openalex.org/W60619409","https://openalex.org/W65937437","https://openalex.org/W76250598","https://openalex.org/W87723076","https://openalex.org/W100418935","https://openalex.org/W109491651","https://openalex.org/W119504667","https://openalex.org/W138544189","https://openalex.org/W200979903","https://openalex.org/W1502359129","https://openalex.org/W1503179130","https://openalex.org/W1504339396","https://openalex.org/W1507556611","https://openalex.org/W1521838877","https://openalex.org/W1524572619","https://openalex.org/W1544564247","https://openalex.org/W1546427822","https://openalex.org/W1547367771","https://openalex.org/W1559402073","https://openalex.org/W1570025952","https://openalex.org/W1576119130","https://openalex.org/W1582269801","https://openalex.org/W1588000771","https://openalex.org/W1597474747","https://openalex.org/W1599594475","https://openalex.org/W1689475216","https://openalex.org/W1916866274","https://openalex.org/W1928718745","https://openalex.org/W1963910234","https://openalex.org/W1974411748","https://openalex.org/W1983385612","https://openalex.org/W1984342415","https://openalex.org/W1996325171","https://openalex.org/W2003914809","https://openalex.org/W2009654690","https://openalex.org/W2011380290","https://openalex.org/W2014764321","https://openalex.org/W2017212489","https://openalex.org/W2017860618","https://openalex.org/W2018083690","https://openalex.org/W2018646682","https://openalex.org/W2022511338","https://openalex.org/W2023648368","https://openalex.org/W2030224590","https://openalex.org/W2030522691","https://openalex.org/W2033755422","https://openalex.org/W2035855976","https://openalex.org/W2037690395","https://openalex.org/W2039358567","https://openalex.org/W2040410674","https://openalex.org/W2042619750","https://openalex.org/W2043100293","https://openalex.org/W2044778622","https://openalex.org/W2044968981","https://openalex.org/W2047691530","https://openalex.org/W2053616158","https://openalex.org/W2054633003","https://openalex.org/W2057821410","https://openalex.org/W2058847156","https://openalex.org/W2060498389","https://openalex.org/W2060924166","https://openalex.org/W2061268302","https://openalex.org/W2061900593","https://openalex.org/W2063402394","https://openalex.org/W2063727779","https://openalex.org/W2069076448","https://openalex.org/W2069683773","https://openalex.org/W2070553391","https://openalex.org/W2072755230","https://openalex.org/W2080267935","https://openalex.org/W2081810835","https://openalex.org/W2084875723","https://openalex.org/W2090286414","https://openalex.org/W2090357400","https://openalex.org/W2093378460","https://openalex.org/W2098120938","https://openalex.org/W2102329872","https://openalex.org/W2104734478","https://openalex.org/W2110916215","https://openalex.org/W2119456262","https://openalex.org/W2121936317","https://openalex.org/W2123396057","https://openalex.org/W2126594562","https://openalex.org/W2132233302","https://openalex.org/W2132331020","https://openalex.org/W2132661148","https://openalex.org/W2135432705","https://openalex.org/W2142200212","https://openalex.org/W2142423074","https://openalex.org/W2143725258","https://openalex.org/W2150529683","https://openalex.org/W2161484642","https://openalex.org/W2164297069","https://openalex.org/W2259139472","https://openalex.org/W2406205129","https://openalex.org/W2485560731","https://openalex.org/W2808906164","https://openalex.org/W2915015834","https://openalex.org/W3096089467"],"related_works":["https://openalex.org/W2183542768","https://openalex.org/W7097692269","https://openalex.org/W1576896531","https://openalex.org/W100592627","https://openalex.org/W2519697872","https://openalex.org/W2102329872","https://openalex.org/W7097168465","https://openalex.org/W2577481360","https://openalex.org/W7073684676","https://openalex.org/W2613358960"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2016-06-24T00:00:00"}