Programming languages and fundamentals of programming:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Kiel
Inst. für Informatik und Praktische Mathematik
1997
|
| Schriftenreihe: | Institut für Informatik und Praktische Mathematik <Kiel>: Bericht
9717 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 309 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012087855 | ||
| 003 | DE-604 | ||
| 005 | 19980924 | ||
| 007 | t | ||
| 008 | 980805s1997 gw d||| |||| 10||| ger d | ||
| 035 | |a (OCoLC)474896175 | ||
| 035 | |a (DE-599)BVBBV012087855 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-12 | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and fundamentals of programming |c Rudolf Berghammer ... (eds.) |
| 264 | 1 | |a Kiel |b Inst. für Informatik und Praktische Mathematik |c 1997 | |
| 300 | |a 309 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institut für Informatik und Praktische Mathematik <Kiel>: Bericht |v 9717 | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Arendorf |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Arendorf Fehmarn |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1999 |z Arendorf Fehmarn |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Berghammer, Rudolf |d 1952- |e Sonstige |0 (DE-588)139235965 |4 oth | |
| 830 | 0 | |a Institut für Informatik und Praktische Mathematik <Kiel>: Bericht |v 9717 |w (DE-604)BV000011623 |9 9717 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008185465&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008185465 | ||
Datensatz im Suchindex
| _version_ | 1804126692287971328 |
|---|---|
| adam_text | IMAGE 1
RUDOLF BERGHAMMER AND FRIEDEMANN SIMON (EDS.)
PROGRAMMING LANGUAGES AND FUNDAMENTALS OF PROGRAMMING
NOVEMBER 1997
INSLITUT FIIR INFORMALIK UND PRAKTISCHE MATHEMATIK
CHRISTIAN-ALBRCCHTS-UNIVERSITAT KIEL
PREUFIERSLRAFIE 1-9
D-24105 KIEL
UNLVERA TAT -BJTIUOTHEK HAIVCIC V ,,
TECFT.JJSGHC
JNPORMATIONSBIBUOTHEK
IMAGE 2
CONTENTS
RELATIONAL METHODS IN COMPUTER SCIENCE
MODAL AND TEMPORAL OPERATORS ON PARTIAL ORDERS 1
BERNHARD MOLLER
EXTENDING RELATIONAL SPECIFICATIONS BY SEQUENTIAL ALGEBRAS PROTOTYPING
12
WITH RELVIEW
RALF BEHNKE
HETEROGENEOUS RELATION ALGEBRAS AS MODELS OF LINEAR LOGIC 23
MICHAEL WINTER
OBJECT-ORIENTED PROGRAMMING I
A LOGIC FOR THE VERIFICATION OF OBJECT-ORIENTED PROGRAMS 31
ARND POETZSCH-HEFFTER AND PETER MULLER PRESERVING THE CORRECTNESS OF
OBJECT-ORIENTED PROGRAMS UNDER EXTENSION 43 PETER MULLER AND ARND
POETZSCH-HEFFTER
SPECIFICATION OF OBJECTS 53
CHRISTOPH SCHMITZ
PROGRAM OPTIMIZATION FROM PROGRAMS TO PROGRAM GRAPHS AUTOMATICALLY: A
GENERAL AND FLEXIBLE 64 CONTROL-FLOW-ANALYSIS GENERATOR
JENS KNOOP AND DIRK KOSCHIITZKI INTERPROCEDURAL DISTRIBUTION-ASSIGNMENT
PLACEMENT: ANALOGIES AND 75 DIFFERENCES TO THE INTRAPROCEDURAL SELLING
JENS KNOOJI AND EDUARD MEHOFER OPTIMAL CODE MOTION IN THE PRESENCE OF
LARGE EXPRESSIONS 86
OLIVER RIITHING
SEMANTICS AND VERIFICATION
MODEL-CHECKING AND VERIFICATION - EXPERIENCES FROM A CASE STUDY 98
BETTINA BULH, MICHAEL KOUVARAS, JAN PELESKA, AND ILUI SHI ON A
CALCULATIONAL LOGIC WITH UNDEFINED 108
BIRGIT SCHIEDER AND MANFRED BROY
THE VERIFIX PROJECT TOWARDS RIGOROUS COMPILER IMPLEMENTATION
VERIFICATION 118
WOLFGANG GOERIGK CORRECT IMPLEMENTATION OF COMPILER PROGRAMS 127
ULRICH HOFFMANN MONOTONE PREDICATE TRANSFORMERS AND PRESERVATION OF
PARTIAL CORRECTNESS 139 JIIRGEN RUHLE
IMAGE 3
OBJECT-ORIENTED PROGRAMMING II
POLARIZED HIGHER-ORDER SUBTYPING 148
MARTIN STEFFEN JAVA/JJ,/,, IS TYPE-SAFE - DEFINITELY 160TOBIAS NOPKOW
AND DAVID VON OHEIMBA PROGRAMMER FRIENDLY MODULAR DEFINITION OF THE
SEMANTICS OF JAVA 175BGON BORGER AND WOLFRAM SCHULTEFUNCTIONAL AND
DATAFLOW-ORIENTED PROGRAMMINGCALCULATING LIST HOMOMORPHISMS FOR PARALLEL
BRACKET MATCHING 182WALTER DOSCH AND BERND WIEDEMANNAN OVERVIEW OF SAC -
A FUNCTIONAL LANGUAGE FOR NUMERCAL APPLICATIONS 195SVEN-BODO SCHOLZHOPS
AS A LINK BETWEEN FUNCTIONAL AND DATA FLOW ORIENTED PROGRAMMING 209 ARNE
BAYER AND FRANK DERICHSWEILERCOMPILATION OF OBJECT-ORIENTED
PROGRAMSTYPE-ANALYSIS IN UNTYPED OBJECT-ORIENTED LANGUAGES 218WOLFGANG
GOLUBSKIHOW TO FORMALLY SPECIFY JAVA VIRTUAL MACHINE INSTRUCTIONS
228ZHENYU QIANTYPE ANALYSIS AND TYPE-TEST ELIMINATION IN OBERON-2
240JENS KNOOP AND FALK SCHREIBERLOGIC IN COMPUTER SCIENCECONSTRUCTIVE
INTERPRETATION OF CLASSICAL MINIMAL SEQUENT-CALCULUS 251I ETER KEMPFSOME
APPLICATIONS OF STREAM COMPREHENSION IN LOGIC PROGRAMS 260BIRGIT
ELBLCOMPLETE POLYMORPHIC ORDER-SORTED UNIFICATION 272MARTIN
PLIIMICKEREAL-TIME SYSTEMSHIERARCHICAL CONSTRAINT DIAGRAMS 2S7CHERYL
DIETZHARDWARE COMPILATION USING THE DURATION CALCULUS 299MICHAEL SCHENKE
|
| any_adam_object | 1 |
| author_GND | (DE-588)139235965 |
| building | Verbundindex |
| bvnumber | BV012087855 |
| classification_tum | DAT 310f DAT 350f |
| ctrlnum | (OCoLC)474896175 (DE-599)BVBBV012087855 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01843nam a2200421 cb4500</leader><controlfield tag="001">BV012087855</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980924 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980805s1997 gw d||| |||| 10||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)474896175</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012087855</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">ger</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-91</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and fundamentals of programming</subfield><subfield code="c">Rudolf Berghammer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Kiel</subfield><subfield code="b">Inst. für Informatik und Praktische Mathematik</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">309 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">Institut für Informatik und Praktische Mathematik <Kiel>: Bericht</subfield><subfield code="v">9717</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Arendorf</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Arendorf Fehmarn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1999</subfield><subfield code="z">Arendorf Fehmarn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berghammer, Rudolf</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)139235965</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Institut für Informatik und Praktische Mathematik <Kiel>: Bericht</subfield><subfield code="v">9717</subfield><subfield code="w">(DE-604)BV000011623</subfield><subfield code="9">9717</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008185465&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008185465</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Arendorf gnd-content (DE-588)1071861417 Konferenzschrift 1997 Arendorf Fehmarn gnd-content (DE-588)1071861417 Konferenzschrift 1999 Arendorf Fehmarn gnd-content |
| genre_facet | Konferenzschrift 1997 Arendorf Konferenzschrift 1997 Arendorf Fehmarn Konferenzschrift 1999 Arendorf Fehmarn |
| id | DE-604.BV012087855 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:21:29Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008185465 |
| oclc_num | 474896175 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-12 |
| physical | 309 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Inst. für Informatik und Praktische Mathematik |
| record_format | marc |
| series | Institut für Informatik und Praktische Mathematik <Kiel>: Bericht |
| series2 | Institut für Informatik und Praktische Mathematik <Kiel>: Bericht |
| spelling | Programming languages and fundamentals of programming Rudolf Berghammer ... (eds.) Kiel Inst. für Informatik und Praktische Mathematik 1997 309 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9717 Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Arendorf gnd-content (DE-588)1071861417 Konferenzschrift 1997 Arendorf Fehmarn gnd-content (DE-588)1071861417 Konferenzschrift 1999 Arendorf Fehmarn gnd-content Programmierung (DE-588)4076370-5 s DE-604 Programmiersprache (DE-588)4047409-4 s Berghammer, Rudolf 1952- Sonstige (DE-588)139235965 oth Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9717 (DE-604)BV000011623 9717 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008185465&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programming languages and fundamentals of programming Institut für Informatik und Praktische Mathematik <Kiel>: Bericht Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and fundamentals of programming |
| title_auth | Programming languages and fundamentals of programming |
| title_exact_search | Programming languages and fundamentals of programming |
| title_full | Programming languages and fundamentals of programming Rudolf Berghammer ... (eds.) |
| title_fullStr | Programming languages and fundamentals of programming Rudolf Berghammer ... (eds.) |
| title_full_unstemmed | Programming languages and fundamentals of programming Rudolf Berghammer ... (eds.) |
| title_short | Programming languages and fundamentals of programming |
| title_sort | programming languages and fundamentals of programming |
| topic | Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmierung Programmiersprache Konferenzschrift 1997 Arendorf Konferenzschrift 1997 Arendorf Fehmarn Konferenzschrift 1999 Arendorf Fehmarn |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008185465&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000011623 |
| work_keys_str_mv | AT berghammerrudolf programminglanguagesandfundamentalsofprogramming |