Verfügbarkeit: Semantikgestützte Analyse, Entwicklung und Generierung von Programmen

Semantikgestützte Analyse, Entwicklung und Generierung von Programmen: Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	German
Veröffentlicht:	Giessen Arbeitsgruppe Informatik, Justus-Liebig-Univ. 1994
Schriftenreihe:	Universität <Gießen> / Arbeitsgruppe Informatik: Bericht 9402
Schlagworte:	Programmgenerierung Operationale Semantik Softwareentwicklung Konferenzschrift > 1994 > Rauischholzhausen
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	III, 269 S.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV009756864
003	DE-604
005	00000000000000.0
007	t
008	940811s1994 \|\|\|\| 10\|\|\| gerod
016	7		\|a 941824462 \|2 DE-101
035			\|a (OCoLC)75499628
035			\|a (DE-599)BVBBV009756864
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
049			\|a DE-12
245	1	0	\|a Semantikgestützte Analyse, Entwicklung und Generierung von Programmen \|b Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994 \|c Gregor Snelting ... (Hrsg.)
264		1	\|a Giessen \|b Arbeitsgruppe Informatik, Justus-Liebig-Univ. \|c 1994
300			\|a III, 269 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Universität <Gießen> / Arbeitsgruppe Informatik: Bericht \|v 9402
650	0	7	\|a Programmgenerierung \|0 (DE-588)4175846-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Operationale Semantik \|0 (DE-588)4221249-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1994 \|z Rauischholzhausen \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Operationale Semantik \|0 (DE-588)4221249-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmgenerierung \|0 (DE-588)4175846-8 \|D s
689	1	1	\|a Operationale Semantik \|0 (DE-588)4221249-2 \|D s
689	1		\|5 DE-604
700	1		\|a Snelting, Gregor \|e Sonstige \|4 oth
810	2		\|a Arbeitsgruppe Informatik: Bericht \|t Universität <Gießen> \|v 9402 \|w (DE-604)BV004675412 \|9 9402
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=006453782&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-006453782

Datensatz im Suchindex

_version_	1804124103460782080
adam_text	IMAGE 1 A R B E I T S G R U P PE I N F O R M A T IK JUSTUS-LIEBIG-UNIVERSITAT GIESSEN, ARNDTSTRASSE 2, D-35392 GIESSEN SEMANTIKGESTIITZTE ANALYSE, ENTWICKLUNG UND GENERIERUNG VON PROGRAMMEN WORKSHOP DER GI-FACHGRUPPE 2.1.3 SCHLOS RAUISCHHOLZHAUSEN, 10.-11.3.1994 GREGOR SNELTING, UWE MEYER (HRSG.) BERICHT NR. 9402 MARZ 1994 UNIVERSITATSBSBLIOTHEK UB/TIB HANNOVER 89 111679 826 IMAGE 2 INHALTSVERZEICHNIS DONNERSTAG, 10. MSRZ THE HIGHER-OBJECT PROGRAMMING SYSTEM .FIOPS 1 W. KAHL (UNIVERSITAT DER BUNDESWEHR MIINCHEN) HIERARCHISCHE PROGRAMMIERUNG 11 H. KROGER (UNIVERSITAT GIEFIEN) SYNTAX UND INFORMELLE SEMANTIK DER KLASSENBESCHREIBUNGSSPRACHE C++STD 21 B. RUMPE (TU MUNCHEN) DAS PAIS-SYSTEM: GRUNDLAGEN, IMPLEMENTIERUNG UND BEISPIELE 31 G. BIENHAUS, C. FLOCK, U. MEYER (UNIVERSITAT GIEFIEN) FORTRAN PROGRAM SPECIALIZATION 45 P. KLEINRUBATSCHER, A. KRIEGSHABER, R. ZOCHLING, R. GLIICK (TU WIEN) LOKALE SIMULATION DER ONLINE BINDUNGSZEITANALYSE DURCH DIE OFFLINE BINDUNGSZEITANALYSE 55 A. MISCHNICK (UNIVERSITAT GIEFIEN) HOW TO DESIGN AN ABSTRACT MACHINE FOR COMPILING TYPED FEATURE STRUCTURES 65 S. DIEHL (UNIVERSITAT SAARBRIICKEN) OCCAM S RAZOR IN METACOMPUTATION: THE NOTION OF A PERFECT PROCESS TREE 77 R. GLIICK, A. KLIMOV (TU WIEN FC RUSSIAN ACADEMY OF SCIENCES) SOFTWAREENTWICKLUNG MIT DER SPEZIFIKATIONSSPRACHE SPECTRUM 89 O. SLOTOSCH (TU MUNCHEN) ENTWURF EINES SPRACHUNABHANGIGEN VERIFIKATIONSSYSTEMS AUF DER BASIS DENOTATIONALER SEMANTIKBESCHREIBUNGEN 105 M. KREMER (TH DARMSTADT) ATTRIBUTED TERM INDUCTION - A PROOF PRINCIPLE FOR ATTRIBUTE GRAMMARS 119 B. BAUER (TU MUNCHEN) ELIMINATING REDUNDANT TESTS IN PATTERN MATCHING 131 P. THIEMANN (UNIVERSITAT TUBINGEN) IMAGE 3 FREITAG 11. MARZ A TOOL KIT FOR CONSTRUCTING OPTIMAL INTERPROCEDURAL DATA FLOW ANALYSES 143 J. KNOOP, O. RIITHING, B. STEFFEN (UNIVERSITAT PASSAU) BUILDING SAFETY TOOLS BY GENERATORS 155 B. HINDEL, M. POHL (SIEMENS ERLANGEN) CONSTRUCTION OF APPLICATION GENERATORS USING ELI 167 U. KASTENS (UNIVERSITAT PADERBORN) SITO - INTERAKTIVE, GENERIERBARE, SPRACHSPEZIFISCHE SIMULATIONSWERKZEUGE 185 C. THIES (TH DARMSTADT) MODULE CONFIGURATION BY MINIMAL MODEL CONSTRUCTION 197 B. STEFFEN, T. MARGARIA, B. FREITAG (UNIVERSITAT PASSAU) TOWARDS LOGIC-BASED PROGRAMMING ENVIRONMENTS: DERIVING PARTIAL CORRECTNESS LOGICS FROM OPERATIONAL LANGUAGE SPECIFICATIONS 213 A. POETZSCH-HEFFTER (TU MUNCHEN) SEMANTIKGESTIITZTE STATISCHE PROGRAMMTRANSFORMATIONEN ZUR SPEICHERPLATZ- UND LAUFZEITOPTIMIERUNG BEI FUNKTIONALEN UND IMPERATIVEN SPRACHEN 221 J.B. HUNDEHEGE, W. LIPPE (UNIVERSITAT MIINSTER) TOWARDS CORRECT, EFFICIENT AND REUSABLE TRANSFORMATIONAL DEVELOPMENTS 241 B. KRIEG-BRIICKNER ET AL. (UNIVERSITAT BREMEN) STYLE - A PRACTICAL TYPE CHECKER FOR SCHEME 257 C. LINDIG (TU BRAUNSCHWEIG)
any_adam_object	1
building	Verbundindex
bvnumber	BV009756864
ctrlnum	(OCoLC)75499628 (DE-599)BVBBV009756864
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01859nam a2200409 cb4500</leader><controlfield tag="001">BV009756864</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940811s1994 \|\|\|\| 10\|\|\| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941824462</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75499628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009756864</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantikgestützte Analyse, Entwicklung und Generierung von Programmen</subfield><subfield code="b">Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994</subfield><subfield code="c">Gregor Snelting ... (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Giessen</subfield><subfield code="b">Arbeitsgruppe Informatik, Justus-Liebig-Univ.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">III, 269 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">Universität <Gießen> / Arbeitsgruppe Informatik: Bericht</subfield><subfield code="v">9402</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmgenerierung</subfield><subfield code="0">(DE-588)4175846-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Operationale Semantik</subfield><subfield code="0">(DE-588)4221249-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">1994</subfield><subfield code="z">Rauischholzhausen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Operationale Semantik</subfield><subfield code="0">(DE-588)4221249-2</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">Programmgenerierung</subfield><subfield code="0">(DE-588)4175846-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Operationale Semantik</subfield><subfield code="0">(DE-588)4221249-2</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">Snelting, Gregor</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Arbeitsgruppe Informatik: Bericht</subfield><subfield code="t">Universität <Gießen></subfield><subfield code="v">9402</subfield><subfield code="w">(DE-604)BV004675412</subfield><subfield code="9">9402</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=006453782&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-006453782</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1994 Rauischholzhausen gnd-content
genre_facet	Konferenzschrift 1994 Rauischholzhausen
id	DE-604.BV009756864
illustrated	Not Illustrated
indexdate	2024-07-09T17:40:21Z
institution	BVB
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006453782
oclc_num	75499628
open_access_boolean
owner	DE-12
owner_facet	DE-12
physical	III, 269 S.
publishDate	1994
publishDateSearch	1994
publishDateSort	1994
publisher	Arbeitsgruppe Informatik, Justus-Liebig-Univ.
record_format	marc
series2	Universität <Gießen> / Arbeitsgruppe Informatik: Bericht
spelling	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994 Gregor Snelting ... (Hrsg.) Giessen Arbeitsgruppe Informatik, Justus-Liebig-Univ. 1994 III, 269 S. txt rdacontent n rdamedia nc rdacarrier Universität <Gießen> / Arbeitsgruppe Informatik: Bericht 9402 Programmgenerierung (DE-588)4175846-8 gnd rswk-swf Operationale Semantik (DE-588)4221249-2 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Rauischholzhausen gnd-content Softwareentwicklung (DE-588)4116522-6 s Operationale Semantik (DE-588)4221249-2 s DE-604 Programmgenerierung (DE-588)4175846-8 s Snelting, Gregor Sonstige oth Arbeitsgruppe Informatik: Bericht Universität <Gießen> 9402 (DE-604)BV004675412 9402 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006453782&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994 Programmgenerierung (DE-588)4175846-8 gnd Operationale Semantik (DE-588)4221249-2 gnd Softwareentwicklung (DE-588)4116522-6 gnd
subject_GND	(DE-588)4175846-8 (DE-588)4221249-2 (DE-588)4116522-6 (DE-588)1071861417
title	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994
title_auth	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994
title_exact_search	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994
title_full	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994 Gregor Snelting ... (Hrsg.)
title_fullStr	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994 Gregor Snelting ... (Hrsg.)
title_full_unstemmed	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994 Gregor Snelting ... (Hrsg.)
title_short	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen
title_sort	semantikgestutzte analyse entwicklung und generierung von programmen workshop der gi fachgruppe 2 1 3 schloß rauischholzhausen 10 11 3 1994
title_sub	Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10. - 11. 3. 1994
topic	Programmgenerierung (DE-588)4175846-8 gnd Operationale Semantik (DE-588)4221249-2 gnd Softwareentwicklung (DE-588)4116522-6 gnd
topic_facet	Programmgenerierung Operationale Semantik Softwareentwicklung Konferenzschrift 1994 Rauischholzhausen
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006453782&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV004675412
work_keys_str_mv	AT sneltinggregor semantikgestutzteanalyseentwicklungundgenerierungvonprogrammenworkshopdergifachgruppe213schloßrauischholzhausen101131994

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge