Generic techniques for source-level debugging and dynamic program slicing:
Abstract: "Algebraic specifications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly defined by an algebraic specification can be used to define powerful languag...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1994
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
94,53 |
| Subjects: | |
| Summary: | Abstract: "Algebraic specifications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly defined by an algebraic specification can be used to define powerful language-specific tools. In particular, it is shown how tools for source-level debugging and dynamic program slicing can be derived from algebraic specifications of interpreters." |
| Physical Description: | 17 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010157239 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950427s1994 |||| 00||| engod | ||
| 035 | |a (OCoLC)32842742 | ||
| 035 | |a (DE-599)BVBBV010157239 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Tip, Frank |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Generic techniques for source-level debugging and dynamic program slicing |c F. Tip |
| 264 | 1 | |a Amsterdam |c 1994 | |
| 300 | |a 17 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 94,53 | |
| 520 | 3 | |a Abstract: "Algebraic specifications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly defined by an algebraic specification can be used to define powerful language-specific tools. In particular, it is shown how tools for source-level debugging and dynamic program slicing can be derived from algebraic specifications of interpreters." | |
| 650 | 4 | |a Software engineering | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 94,53 |w (DE-604)BV008928356 |9 94,53 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006747249 | ||
Record in the Search Index
| _version_ | 1804124554288693248 |
|---|---|
| any_adam_object | |
| author | Tip, Frank |
| author_facet | Tip, Frank |
| author_role | aut |
| author_sort | Tip, Frank |
| author_variant | f t ft |
| building | Verbundindex |
| bvnumber | BV010157239 |
| ctrlnum | (OCoLC)32842742 (DE-599)BVBBV010157239 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01411nam a2200277 cb4500</leader><controlfield tag="001">BV010157239</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950427s1994 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32842742</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010157239</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tip, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Generic techniques for source-level debugging and dynamic program slicing</subfield><subfield code="c">F. Tip</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">94,53</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Algebraic specifications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly defined by an algebraic specification can be used to define powerful language-specific tools. In particular, it is shown how tools for source-level debugging and dynamic program slicing can be derived from algebraic specifications of interpreters."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">94,53</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">94,53</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006747249</subfield></datafield></record></collection> |
| id | DE-604.BV010157239 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:30Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006747249 |
| oclc_num | 32842742 |
| open_access_boolean | |
| physical | 17 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Tip, Frank Verfasser aut Generic techniques for source-level debugging and dynamic program slicing F. Tip Amsterdam 1994 17 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 94,53 Abstract: "Algebraic specifications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly defined by an algebraic specification can be used to define powerful language-specific tools. In particular, it is shown how tools for source-level debugging and dynamic program slicing can be derived from algebraic specifications of interpreters." Software engineering Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 94,53 (DE-604)BV008928356 94,53 |
| spellingShingle | Tip, Frank Generic techniques for source-level debugging and dynamic program slicing Software engineering |
| title | Generic techniques for source-level debugging and dynamic program slicing |
| title_auth | Generic techniques for source-level debugging and dynamic program slicing |
| title_exact_search | Generic techniques for source-level debugging and dynamic program slicing |
| title_full | Generic techniques for source-level debugging and dynamic program slicing F. Tip |
| title_fullStr | Generic techniques for source-level debugging and dynamic program slicing F. Tip |
| title_full_unstemmed | Generic techniques for source-level debugging and dynamic program slicing F. Tip |
| title_short | Generic techniques for source-level debugging and dynamic program slicing |
| title_sort | generic techniques for source level debugging and dynamic program slicing |
| topic | Software engineering |
| topic_facet | Software engineering |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT tipfrank generictechniquesforsourceleveldebugginganddynamicprogramslicing |