• Find an Expert
  • Search iconSearch
  • Menu
  • Help
  • Report an issue

Journal article

Sharing and groundness dependencies in logic programs

M Codish, H Sondergaard, PJ Stuckey

ACM Transactions on Programming Languages and Systems | ASSOC COMPUTING MACHINERY | Published : 1999

DOI: 10.1145/330249.330252

University of Melbourne Researchers

Harald Sondergaard's Profile Picture
Harald Sondergaard Author Computing and Information Systems

Peter Stuckey's Profile Picture
Peter Stuckey Author Computing and Information Systems

Citation metrics

21Web of Science
28Scopus

Keywords

Groundness Analysis
Boolean Functions
Global Analysis
Program Analysis
Sharing Analysis
Science & Technology
Computer Science
Computer Science, Software Engineering
Technology
Abstract Interpretation
Theory
Dataflow Analysis
Languages

UNIVERSITY SEARCH

›  

Current students

›  

Staff

›  

Alumni

  

Faculties & graduate schools

  

Library

  

Contact us

  

Maps

  

Support the campaign

  

Jobs

facebookIcontwitterIconlinkedinIcon


Phone: 13 MELB ( 13 6352)

International: +61 3 9035 5511

ABN: 84 002 705 224

CRICOS Provider Code:
00116K ( visa information)

Emergency information  |  Disclaimer and copyright  |  Accessibility  |  Privacy

STUDY AT MELBOURNE

›  Find a course

›  Admissions, fees & applications

›  International students

›  Campus tour

›  Connect with us

›  Accommodation

ABOUT US

›  Strategy and leadership

›  Tradition of excellence

›  International connections

›  Campuses and facilities

›  Structure and governance

›  Policy and publications

›  Careers at Melbourne

›  Supplying to the University

CONTACT & MAPS

›  Enquiries

›  Media

›  Find an expert

›  Campus maps

›  Traffic, parking & bicycles

›  Find a staff member

ALUMNI & FRIENDS

›  Benefits & services

›  Give

›  Volunteer

›  3010: alumni magazine

RESEARCH

›  Research institute

›  Find an expert or supervisor

›  Graduate researchers

›  Pursuit: our research showcase

ENGAGEMENT

›  Events

›  Sports facilities

›  Shop

We acknowledge and pay respect to the Traditional Owners of the lands upon which our campuses are situated.