Live data structures in logic programs: derivation by means of abstract interpretation
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1993
|
| Schriftenreihe: | Lecture notes in computer science
675 |
| Schlagworte: | |
| Beschreibung: | VIII, 220 S. graph. Darst. |
| ISBN: | 3540566945 0387566945 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV007038826 | ||
| 003 | DE-604 | ||
| 005 | 20130211 | ||
| 007 | t | ||
| 008 | 930419s1993 gw d||| m||| 00||| eng d | ||
| 020 | |a 3540566945 |9 3-540-56694-5 | ||
| 020 | |a 0387566945 |9 0-387-56694-5 | ||
| 035 | |a (OCoLC)27894871 | ||
| 035 | |a (DE-599)BVBBV007038826 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-355 |a DE-384 |a DE-91G |a DE-19 |a DE-20 |a DE-706 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.9.D35M84 1993 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 082 | 0 | |a 005.13/1 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a ST 265 |0 (DE-625)143634: |2 rvk | ||
| 084 | |a DAT 706d |2 stub | ||
| 084 | |a DAT 455d |2 stub | ||
| 100 | 1 | |a Mulkers, Anne |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Live data structures in logic programs |b derivation by means of abstract interpretation |c Anne Mulkers |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1993 | |
| 300 | |a VIII, 220 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 675 | |
| 502 | |a Teilw. zugl.: Leuven, Univ., Diss., 1991 u.d.T.: Mulkers, Anne: Deriving live data structures in logic programs | ||
| 650 | 7 | |a Datastructuren |2 gtt | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 4 | |a Structures de données (Informatique) | |
| 650 | 7 | |a Structures de données (informatique) |2 ram | |
| 650 | 4 | |a Types abstraits de données (Informatique) | |
| 650 | 7 | |a Types abstraits de données (informatique) |2 ram | |
| 650 | 7 | |a abstraction donnée |2 inriac | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a donnée vive |2 inriac | |
| 650 | 7 | |a interprétation abstraite |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dynamische Datenstruktur |0 (DE-588)4250628-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenstruktur |0 (DE-588)4011146-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Datenstruktur |0 (DE-588)4011146-5 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Dynamische Datenstruktur |0 (DE-588)4250628-1 |D s |
| 689 | 1 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 675 |w (DE-604)BV000000607 |9 675 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004466038 | ||
Datensatz im Suchindex
| _version_ | 1804121208973688832 |
|---|---|
| any_adam_object | |
| author | Mulkers, Anne |
| author_facet | Mulkers, Anne |
| author_role | aut |
| author_sort | Mulkers, Anne |
| author_variant | a m am |
| building | Verbundindex |
| bvnumber | BV007038826 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D35M84 1993 |
| callnumber-search | QA76.9.D35M84 1993 |
| callnumber-sort | QA 276.9 D35 M84 41993 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 ST 265 |
| classification_tum | DAT 706d DAT 455d |
| ctrlnum | (OCoLC)27894871 (DE-599)BVBBV007038826 |
| dewey-full | 005.13/1 005.13/120 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 005.13/1 20 |
| dewey-search | 005.13/1 005.13/1 20 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02642nam a2200685 cb4500</leader><controlfield tag="001">BV007038826</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130211 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930419s1993 gw d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540566945</subfield><subfield code="9">3-540-56694-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387566945</subfield><subfield code="9">0-387-56694-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27894871</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007038826</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D35M84 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 265</subfield><subfield code="0">(DE-625)143634:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 455d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mulkers, Anne</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Live data structures in logic programs</subfield><subfield code="b">derivation by means of abstract interpretation</subfield><subfield code="c">Anne Mulkers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 220 S.</subfield><subfield code="b">graph. Darst.</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">Lecture notes in computer science</subfield><subfield code="v">675</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Teilw. zugl.: Leuven, Univ., Diss., 1991 u.d.T.: Mulkers, Anne: Deriving live data structures in logic programs</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Datastructuren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Structures de données (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Structures de données (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types abstraits de données (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Types abstraits de données (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">abstraction donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">donnée vive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interprétation abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamische Datenstruktur</subfield><subfield code="0">(DE-588)4250628-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Dynamische Datenstruktur</subfield><subfield code="0">(DE-588)4250628-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">675</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">675</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004466038</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV007038826 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:54:20Z |
| institution | BVB |
| isbn | 3540566945 0387566945 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004466038 |
| oclc_num | 27894871 |
| open_access_boolean | |
| owner | DE-739 DE-355 DE-BY-UBR DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-83 DE-188 DE-11 |
| owner_facet | DE-739 DE-355 DE-BY-UBR DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-83 DE-188 DE-11 |
| physical | VIII, 220 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mulkers, Anne Verfasser aut Live data structures in logic programs derivation by means of abstract interpretation Anne Mulkers Berlin u.a. Springer 1993 VIII, 220 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 675 Teilw. zugl.: Leuven, Univ., Diss., 1991 u.d.T.: Mulkers, Anne: Deriving live data structures in logic programs Datastructuren gtt Logisch programmeren gtt Programmation logique ram Structures de données (Informatique) Structures de données (informatique) ram Types abstraits de données (Informatique) Types abstraits de données (informatique) ram abstraction donnée inriac analyse programme inriac donnée vive inriac interprétation abstraite inriac programmation en logique inriac Data structures (Computer science) Abstract data types (Computer science) Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Dynamische Datenstruktur (DE-588)4250628-1 gnd rswk-swf Datenstruktur (DE-588)4011146-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Datenstruktur (DE-588)4011146-5 s Logische Programmierung (DE-588)4195096-3 s DE-604 Dynamische Datenstruktur (DE-588)4250628-1 s Lecture notes in computer science 675 (DE-604)BV000000607 675 |
| spellingShingle | Mulkers, Anne Live data structures in logic programs derivation by means of abstract interpretation Lecture notes in computer science Datastructuren gtt Logisch programmeren gtt Programmation logique ram Structures de données (Informatique) Structures de données (informatique) ram Types abstraits de données (Informatique) Types abstraits de données (informatique) ram abstraction donnée inriac analyse programme inriac donnée vive inriac interprétation abstraite inriac programmation en logique inriac Data structures (Computer science) Abstract data types (Computer science) Logische Programmierung (DE-588)4195096-3 gnd Dynamische Datenstruktur (DE-588)4250628-1 gnd Datenstruktur (DE-588)4011146-5 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4250628-1 (DE-588)4011146-5 (DE-588)4113937-9 |
| title | Live data structures in logic programs derivation by means of abstract interpretation |
| title_auth | Live data structures in logic programs derivation by means of abstract interpretation |
| title_exact_search | Live data structures in logic programs derivation by means of abstract interpretation |
| title_full | Live data structures in logic programs derivation by means of abstract interpretation Anne Mulkers |
| title_fullStr | Live data structures in logic programs derivation by means of abstract interpretation Anne Mulkers |
| title_full_unstemmed | Live data structures in logic programs derivation by means of abstract interpretation Anne Mulkers |
| title_short | Live data structures in logic programs |
| title_sort | live data structures in logic programs derivation by means of abstract interpretation |
| title_sub | derivation by means of abstract interpretation |
| topic | Datastructuren gtt Logisch programmeren gtt Programmation logique ram Structures de données (Informatique) Structures de données (informatique) ram Types abstraits de données (Informatique) Types abstraits de données (informatique) ram abstraction donnée inriac analyse programme inriac donnée vive inriac interprétation abstraite inriac programmation en logique inriac Data structures (Computer science) Abstract data types (Computer science) Logische Programmierung (DE-588)4195096-3 gnd Dynamische Datenstruktur (DE-588)4250628-1 gnd Datenstruktur (DE-588)4011146-5 gnd |
| topic_facet | Datastructuren Logisch programmeren Programmation logique Structures de données (Informatique) Structures de données (informatique) Types abstraits de données (Informatique) Types abstraits de données (informatique) abstraction donnée analyse programme donnée vive interprétation abstraite programmation en logique Data structures (Computer science) Abstract data types (Computer science) Logische Programmierung Dynamische Datenstruktur Datenstruktur Hochschulschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT mulkersanne livedatastructuresinlogicprogramsderivationbymeansofabstractinterpretation |