Holdings: Programming languages and fundamentals of programming

Programming languages and fundamentals of programming:

Saved in:

Bibliographic Details
Format:	Book
Language:	German
Published:	Kiel Inst. für Informatik und Praktische Mathematik 1997
Series:	Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9717
Subjects:	Programmierung Programmiersprache Konferenzschrift > 1997 > Arendorf Konferenzschrift > 1997 > Arendorf Fehmarn Konferenzschrift > 1999 > Arendorf Fehmarn
Online Access:	Inhaltsverzeichnis
Physical Description:	309 S. graph. Darst.

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items