{"data":{"id":"10.48550/arxiv.cs/0311037","type":"dois","attributes":{"doi":"10.48550/arxiv.cs/0311037","prefix":"10.48550","suffix":"arxiv.cs/0311037","identifiers":[{"identifier":"cs/0311037","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"cs/0311037"}],"creators":[{"name":"Searle, Aaron","nameType":"Personal","givenName":"Aaron","familyName":"Searle","affiliation":[],"nameIdentifiers":[]},{"name":"Gough, John","nameType":"Personal","givenName":"John","familyName":"Gough","affiliation":[],"nameIdentifiers":[]},{"name":"Abramson, David","nameType":"Personal","givenName":"David","familyName":"Abramson","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"DUCT: An Interactive Define-Use Chain Navigation Tool for Relative Debugging"}],"publisher":"arXiv","container":{},"publicationYear":2003,"subjects":[{"lang":"en","subject":"Software Engineering (cs.SE)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"D.2.5","subjectScheme":"ACM"}],"contributors":[],"dates":[{"date":"2003-11-25T01:38:12Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2009-12-01T02:56:46Z","dateType":"Updated","dateInformation":"v1"},{"date":"2003-11","dateType":"Available","dateInformation":"v1"},{"date":"2003","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004","rightsUri":"http://arxiv.org/licenses/assumed-1991-2003/"}],"descriptions":[{"description":"This paper describes an interactive tool that facilitates following define-use chains in large codes. The motivation for the work is to support relative debugging, where it is necessary to iteratively refine a set of asser-tions between different versions of a program. DUCT is novel because it exploits the Microsoft Intermediate Language (MSIL) that underpins the .NET Framework. Accordingly, it works on a wide range of programming languages without any modification. The paper describes the design and implementation of DUCT, and then illustrates its use with a small case study.","descriptionType":"Abstract"},{"description":"7 pages","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi5DUy8wMzExMDM3PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+Y3MvMDMxMTAzNzwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5TZWFybGUsIEFhcm9uPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5BYXJvbjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5TZWFybGU8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+R291Z2gsIEpvaG48L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkpvaG48L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+R291Z2g8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+QWJyYW1zb24sIERhdmlkPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5EYXZpZDwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5BYnJhbXNvbjwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICA8L2NyZWF0b3JzPgogIDx0aXRsZXM+CiAgICA8dGl0bGU+RFVDVDogQW4gSW50ZXJhY3RpdmUgRGVmaW5lLVVzZSBDaGFpbiBOYXZpZ2F0aW9uIFRvb2wgZm9yIFJlbGF0aXZlIERlYnVnZ2luZzwvdGl0bGU+CiAgPC90aXRsZXM+CiAgPHB1Ymxpc2hlcj5hclhpdjwvcHVibGlzaGVyPgogIDxwdWJsaWNhdGlvblllYXI+MjAwMzwvcHVibGljYXRpb25ZZWFyPgogIDxzdWJqZWN0cz4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPlNvZnR3YXJlIEVuZ2luZWVyaW5nIChjcy5TRSk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBDb21wdXRlciBhbmQgaW5mb3JtYXRpb24gc2NpZW5jZXM8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9IkFDTSI+RC4yLjU8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDAzLTExLTI1VDAxOjM4OjEyWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDA5LTEyLTAxVDAyOjU2OjQ2WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMDMtMTE8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlRleHQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvYXNzdW1lZC0xOTkxLTIwMDMvIj5Bc3N1bWVkIGFyWGl2Lm9yZyBwZXJwZXR1YWwsIG5vbi1leGNsdXNpdmUgbGljZW5zZSB0byBkaXN0cmlidXRlIHRoaXMgYXJ0aWNsZSBmb3Igc3VibWlzc2lvbnMgbWFkZSBiZWZvcmUgSmFudWFyeSAyMDA0PC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+VGhpcyBwYXBlciBkZXNjcmliZXMgYW4gaW50ZXJhY3RpdmUgdG9vbCB0aGF0IGZhY2lsaXRhdGVzIGZvbGxvd2luZyBkZWZpbmUtdXNlIGNoYWlucyBpbiBsYXJnZSBjb2Rlcy4gVGhlIG1vdGl2YXRpb24gZm9yIHRoZSB3b3JrIGlzIHRvIHN1cHBvcnQgcmVsYXRpdmUgZGVidWdnaW5nLCB3aGVyZSBpdCBpcyBuZWNlc3NhcnkgdG8gaXRlcmF0aXZlbHkgcmVmaW5lIGEgc2V0IG9mIGFzc2VyLXRpb25zIGJldHdlZW4gZGlmZmVyZW50IHZlcnNpb25zIG9mIGEgcHJvZ3JhbS4gRFVDVCBpcyBub3ZlbCBiZWNhdXNlIGl0IGV4cGxvaXRzIHRoZSBNaWNyb3NvZnQgSW50ZXJtZWRpYXRlIExhbmd1YWdlIChNU0lMKSB0aGF0IHVuZGVycGlucyB0aGUgLk5FVCBGcmFtZXdvcmsuIEFjY29yZGluZ2x5LCBpdCB3b3JrcyBvbiBhIHdpZGUgcmFuZ2Ugb2YgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzIHdpdGhvdXQgYW55IG1vZGlmaWNhdGlvbi4gVGhlIHBhcGVyIGRlc2NyaWJlcyB0aGUgZGVzaWduIGFuZCBpbXBsZW1lbnRhdGlvbiBvZiBEVUNULCBhbmQgdGhlbiBpbGx1c3RyYXRlcyBpdHMgdXNlIHdpdGggYSBzbWFsbCBjYXNlIHN0dWR5LjwvZGVzY3JpcHRpb24+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJPdGhlciI+NyBwYWdlczwvZGVzY3JpcHRpb24+CiAgPC9kZXNjcmlwdGlvbnM+CjwvcmVzb3VyY2U+","url":"https://arxiv.org/abs/cs/0311037","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-21T18:21:00.000Z","registered":"2022-03-21T18:21:01.000Z","published":"2003","updated":"2022-03-21T18:21:01.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.cs/0311037","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}