?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Using+global+analysis%2C+partial+specifications%2C+and+an+extensible+assertion+language+for+program+validation+and+debugging&rft.creator=Hermenegildo%2C+Manuel+V.&rft.creator=Puebla+S%C3%A1nchez%2C+Alvaro+Germ%C3%A1n&rft.creator=Bueno+Carrillo%2C+Francisco&rft.subject=Computer+Science&rft.description=We+present+a+framework+for+the+application+of+abstract+interpretation+as+an+aid+during+program+development%2C+rather+than+in+the+more+traditional+application+of+program+optimization.+Program+validation+and+detection+of+errors+is+first+performed+statically+by+comparing+(partial)+specifications+written+in+terms+of+assertions+against+information+obtained+from+static+analysis+of+the+program.+The+results+of+this+process+are+expressed+in+the+user+assertion+language.+Assertions+(or+parts+of+assertions)+which+cannot+be+verified+statically+are+translated+into+run-time+tests.+The+framework+allows+the+use+of+assertions+to+be+optional.+It+also+allows+using+very+general+properties+in+assertions%2C+beyond+the+predefined+set+understandable+by+the+static+analyzer+and+including+properties+defined+by+means+of+user+programs.+We+also+report+briefly+on+an+implementation+of+the+framework.+The+resulting+tool+generates+and+checks+assertions+for+Prolog%2C+CLP(R)%2C+and+CHIP%2FCLP(fd)+programs%2C+and+integrates+compile-time+and+run-time+checking+in+a+uniform+way.+The+tool+allows+using+properties+such+as+types%2C+modes%2C+non-failure%2C+determinacy%2C+and+computational+cost%2C+and+can+treat+modules+separately%2C+performing+incremental+analysis.+In+practice%2C+this+modularity+allows+detecting+statically+bugs+in+user+programs+even+if+they+do+not+contain+any+assertions.&rft.publisher=Facultad+de+Inform%C3%83%C2%A1tica+(UPM)&rft.rights=https%3A%2F%2Fcreativecommons.org%2Flicenses%2Fby-nc-nd%2F3.0%2Fes%2F&rft.date=1998-10&rft.type=info%3Aeu-repo%2Fsemantics%2Fother&rft.type=Monograph&rft.type=PeerReviewed&rft.format=application%2Fpdf&rft.language=eng&rft.relation=http%3A%2F%2Fclip.dia.fi.upm.es%2Fpapers%2Fprog-glob-an_bitmap.pdf&rft.rights=info%3Aeu-repo%2Fsemantics%2FopenAccess&rft.identifier=https%3A%2F%2Foa.upm.es%2F14766%2F