Calculating sized types

This publication has 11 references indexed in Scilit:

• Dependent types in practical programming
  Published by Association for Computing Machinery (ACM) ,1999
• Eliminating array bound checking through dependent types
  Published by Association for Computing Machinery (ACM) ,1998
• Proving the correctness of reactive systems using sized types
  Published by Association for Computing Machinery (ACM) ,1996
• Termination of logic programs: the never-ending story
  The Journal of Logic Programming, 1994
• A practical algorithm for exact array dependence analysis
  Communications of the ACM, 1992
• Inference of inequality constraints in logic programs (extended abstracts)
  Published by Association for Computing Machinery (ACM) ,1991
• Termination detection in logic programs using argument sizes (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1991
• Termination Proofs for Logic Programs
  Published by Springer Nature ,1990
• Efficient tests for top-down termination of logical rules
  Journal of the ACM, 1988
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978