Inference rules and proof procedures for inequationsChilukuri K. Mohan; Mandayam K. Srivas; Deepak Kapur · 1990

[ACM Press the 7th ACM SIGPLAN-SIGACT symposium - Las Vegas, Nevada (1980.01.28-1980.01.30)] Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80 - Expressiveness of the operation set of a data abstractionKapur, Deepak; Mandayam, Srivas · 1980