Verfügbarkeit: Programming languages and systems | Technische Universität München

Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Feng, Xinyu (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing [2015]
Ausgabe:	1st ed.
Schriftenreihe:	Lecture Notes in Computer Science 9458
Schlagwörter:	Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Formale Methode Programmierlogik Programmanalyse Programmiersprache Programmverifikation Konferenzschrift
Links:	https://doi.org/10.1007/978-3-319-26529-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730285&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	XIX, 506 Seiten Illustrationen
ISBN:	9783319265292 9783319265285
ISSN:	0302-9743
DOI:	10.1007/978-3-319-26529-2

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV043309596
003	DE-604
005	20200514
007	cr\|uuu---uuuuu
008	160125s2015 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319265292 \|c Online \|9 978-3-319-26529-2
020			\|a 9783319265285 \|c Print \|9 978-3-319-26528-5
024	7		\|a 10.1007/978-3-319-26529-2 \|2 doi
035			\|a (OCoLC)934176869
035			\|a (DE-599)BVBBV043309596
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-Aug4 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-92 \|a DE-384 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-355
082	0		\|a 005.13 \|2 23
084			\|a DAT 000 \|2 stub
084			\|a DAT 516f \|2 stub
084			\|a DAT 350f \|2 stub
245	1	0	\|a Programming languages and systems \|b 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings \|c edited by Xinyu Feng, Sungwoo Park
250			\|a 1st ed.
264		1	\|a Cham \|b Springer International Publishing \|c [2015]
264		4	\|c © 2015
300			\|a XIX, 506 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 9458 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Programming languages (Electronic computers)
650		4	\|a Computer logic
650		4	\|a Mathematical logic
650		4	\|a Computer Science
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Software Engineering
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Informatik
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierlogik \|0 (DE-588)4047408-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	1	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	2	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	1		\|5 DE-604
700	1		\|a Feng, Xinyu \|4 edt
711	2		\|a APLAS \|n 13. \|d 2015 \|c Pohang \|j Sonstige \|0 (DE-588)1081039000 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 9458 \|w (DE-604)BV014880109 \|9 9458
856	4	0	\|u https://doi.org/10.1007/978-3-319-26529-2 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730285&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2015
940	1		\|q ZDB-2-LNC_2015
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028730285

Datensatz im Suchindex

DE-BY-TUM_katkey	2165873
_version_	1821932419966566400
adam_text	PROGRAMMING LANGUAGES AND SYSTEMS / : 2015 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 13TH ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2015, HELD IN POHANG, SOUTH KOREA, IN NOVEMBER/DECEMBER 2015. THE 24 REGULAR PAPERS PRESENTED TOGETHER WITH 1 SHORT PAPER WERE CAREFULLY REVIEWED AND SELECTED FROM 74 SUBMISSIONS. THE PAPERS COVER A VARIETY OF FOUNDATIONAL AND PRACTICAL ISSUES IN PROGRAMMING LANGUAGES AND SYSTEMS AND HAVE BEEN ORGANIZED IN TOPICAL SECTIONS ON COMPILERS, SEPARATION LOGIC, STATIC ANALYSIS AND ABSTRACT INTERPRETATION, HOARE LOGIC AND TYPES, FUNCTIONAL PROGRAMMING AND SEMANTICS, MODEL CHECKING, PROGRAM ANALYSIS, MEDLEY, AND PROGRAMMING MODELS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Feng, Xinyu
author2_role	edt
author2_variant	x f xf
author_facet	Feng, Xinyu
building	Verbundindex
bvnumber	BV043309596
classification_tum	DAT 000 DAT 516f DAT 350f
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)934176869 (DE-599)BVBBV043309596
dewey-full	005.13
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.13
dewey-search	005.13
dewey-sort	15.13
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-26529-2
edition	1st ed.
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03115nam a2200745zcb4500</leader><controlfield tag="001">BV043309596</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200514 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160125s2015 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319265292</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-26529-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319265285</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-26528-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-26529-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)934176869</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043309596</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</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 systems</subfield><subfield code="b">13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings</subfield><subfield code="c">edited by Xinyu Feng, Sungwoo Park</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 506 Seiten</subfield><subfield code="b">Illustrationen</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">9458</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-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">Feng, Xinyu</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">APLAS</subfield><subfield code="n">13.</subfield><subfield code="d">2015</subfield><subfield code="c">Pohang</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1081039000</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9458</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9458</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-26529-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028730285&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028730285</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV043309596
illustrated	Illustrated
indexdate	2024-12-20T17:33:23Z
institution	BVB
institution_GND	(DE-588)1081039000
isbn	9783319265292 9783319265285
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028730285
oclc_num	934176869
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
physical	XIX, 506 Seiten Illustrationen
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer International Publishing
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spellingShingle	Programming languages and systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings Lecture Notes in Computer Science Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Programmiersprache (DE-588)4047409-4 gnd Programmverifikation (DE-588)4135576-3 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4047408-2 (DE-588)4175841-9 (DE-588)4047409-4 (DE-588)4135576-3 (DE-588)1071861417
title	Programming languages and systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings
title_auth	Programming languages and systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings
title_exact_search	Programming languages and systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings
title_full	Programming languages and systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings edited by Xinyu Feng, Sungwoo Park
title_fullStr	Programming languages and systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings edited by Xinyu Feng, Sungwoo Park
title_full_unstemmed	Programming languages and systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings edited by Xinyu Feng, Sungwoo Park
title_short	Programming languages and systems
title_sort	programming languages and systems 13th asian symposium aplas 2015 pohang south korea november 30 december 2 2015 proceedings
title_sub	13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings
topic	Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Programmiersprache (DE-588)4047409-4 gnd Programmverifikation (DE-588)4135576-3 gnd
topic_facet	Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Formale Methode Programmierlogik Programmanalyse Programmiersprache Programmverifikation Konferenzschrift
url	https://doi.org/10.1007/978-3-319-26529-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730285&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT fengxinyu programminglanguagesandsystems13thasiansymposiumaplas2015pohangsouthkoreanovember30december22015proceedings AT aplaspohang programminglanguagesandsystems13thasiansymposiumaplas2015pohangsouthkoreanovember30december22015proceedings

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen