A Prolog Environment for Developing and Reasoning About Data Types

項潔Srivas, M. K.M. K.SrivasGoos, G.G.GoosHartmanis, J.J.HartmanisBarstow, D.D.BarstowBrauer, W.W.BrauerHansen, P. BrinchP. BrinchHansenGries, D.D.GriesLuckham, D.D.LuckhamMoler, C.C.MolerPnueli, A.A.PnueliSeegmüller, G.G.SeegmüllerStoer, H.H.StoerWirth, N.N.Wirth2009-02-032018-07-052009-02-032018-07-051985-05http://ntur.lib.ntu.edu.tw//handle/246246/118521en-USA Prolog Environment for Developing and Reasoning About Data Typesconference paper