Verfügbarkeit: Programming languages and systems

Programming languages and systems: 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture notes in computer science 7705
Schlagworte:	Compiler Formale Methode Programmierlogik Programmanalyse Programmverifikation Programmtransformation Model Checking Nebenläufigkeit Programmiersprache Codegenerierung Konferenzschrift > 2012 > Kioto
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XI, 388 S. 235 mm x 155 mm
ISBN:	3642351816 9783642351815

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040604228
003	DE-604
005	20130111
007	t\|
008	121203s2012 gw \|\|\|\| 10\|\|\| eng d
015			\|a 12,N44 \|2 dnb
016	7		\|a 1027239161 \|2 DE-101
020			\|a 3642351816 \|9 3-642-35181-6
020			\|a 9783642351815 \|c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.) \|9 978-3-642-35181-5
024	3		\|a 9783642351815
028	5	2	\|a Best.-Nr.: 86189155
035			\|a (OCoLC)823231593
035			\|a (DE-599)DNB1027239161
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-706 \|a DE-83 \|a DE-91G \|a DE-11
082	0		\|a 005.13 \|2 22/ger
084			\|a DAT 516f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 350f \|2 stub
245	1	0	\|a Programming languages and systems \|b 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings \|c Ranjit Jhala ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a XI, 388 S. \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7705
650	0	7	\|a Compiler \|0 (DE-588)4148248-7 \|2 gnd \|9 rswk-swf
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 Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmtransformation \|0 (DE-588)4263654-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Codegenerierung \|0 (DE-588)4010346-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Kioto \|2 gnd-content
689	0	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	0	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	2	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	1	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1	2	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	2	1	\|a Programmtransformation \|0 (DE-588)4263654-1 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Compiler \|0 (DE-588)4148248-7 \|D s
689	3	1	\|a Codegenerierung \|0 (DE-588)4010346-8 \|D s
689	3		\|8 3\p \|5 DE-604
689	4	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	4	1	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	4		\|8 4\p \|5 DE-604
689	5	0	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	5		\|8 5\p \|5 DE-604
700	1		\|a Jhala, Ranjit \|e Sonstige \|0 (DE-588)143443917 \|4 oth
711	2		\|a APLAS \|n 10. \|d 2012 \|c Kyōto \|j Sonstige \|0 (DE-588)1028510896 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-35182-2
830		0	\|a Lecture notes in computer science \|v 7705 \|w (DE-604)BV000000607 \|9 7705
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4168077&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025431925&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 5\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025431925

Datensatz im Suchindex

_version_	1820875435436670976
adam_text	IMAGE 1 TABLE O F C O N T E N T S SESSION I: I N V I T E D TALK PLANET DYNAMIC OR: HOW I LEARNED T O STOP WORRYING AND LOVE REFLECTION 1 JAN VITEK S E S S I O N II: C O N C U R R E N C Y JATO: NATIVE CODE ATOMICITY FOR JAVA 2 SILIANG LI, YU DAVID LIU. AND GANG TAN OWNERSHIP TYPES FOR OBJECT SYNCHRONISATION 18 YI LU, JOHN POTTER, AND JINGLING X U E S E S S I O N III: S E C U R I T Y A FUNCTIONAL VIEW OF IMPERATIVE INFORMATION FLOW 34 THOMAS H. AUSTIN, CORMAC FLANAGAN, AND MARTIN ABADI END-TO-END MULTILEVEL HYBRID INFORMATION FLOW CONTROL 50 LENNART BERINGER SUCCOUR T O THE CONFUSED DEPUTY: TYPES FOR CAPABILITIES 66 RADHA JAGADEESAN, CORIN PITCHER, AND JAMES RIELY TYPES AND ACCESS CONTROLS FOR CROSS-DOMAIN SECURITY IN FLASH 82 ASEEM RASTOGI, AVIK CHAUDHURI, AND ROB JOHNSON S E S S I O N IV: S T A T I C A N A L Y S I S I LINEAR APPROXIMATION OF CONTINUOUS SYSTEMS WITH TRAPEZOID STEP FUNCTIONS 98 GIULIA COSTANTINI, PIETRO FERRARA, AND AGOSTINO CORTESI SIGNEDNESS-AGNOSTIC PROGRAM ANALYSIS: PRECISE INTEGER BOUNDS FOR LOW-LEVEL CODE 115 JORGE A. NAVAS, PETER SCHACHTE, HARALD S0NDERGAARD, AND PETER J. STUCKEY HIERARCHICAL SHAPE ABSTRACTION OF DYNAMIC STRUCTURES IN STATIC BLOCKS 131 PASCAL SOTIN AND XAVIER RIVAL HTTP://D-NB.INFO/1027239161 IMAGE 2 X TABLE OF CONTENTS VINTER: A VAMPIRE-BASED TOOL FOR INTERPOLATION (TOOL PAPER) 148 KRYSTOF HODER, ANDREAS HOLZER, LAURA KOVACS, AND ANDREI VORONKOV S E S S I O N V: S T A T I C A N A L Y S I S I I SIDE-EFFECTING CONSTRAINT SYSTEMS: A SWISS ARMY KNIFE FOR PROGRAM ANALYSIS 157 KALMER APINIS, HELMUT SEIDL, AND VESAL VOJDANI INFERENCE OF NECESSARY FIELD CONDITIONS WITH ABSTRACT INTERPRETATION . . . 173 MEHDI BOUAZIZ, FRANCESCO LOGOZZO, AND MANUEL FAHNDRICH S E S S I O N VI: L A N G U A G E D E S I G N LAZY V. YIELD: INCREMENTAL, LINEAR PRETTY-PRINTING 190 OLEG KISELYOV, SIMON PEYTON-JONES, AND A M R SABRY DYNAMIC SOFTWARE UPDATE FOR MESSAGE PASSING PROGRAMS 207 GABRIELLE ANDERSON AND JULIAN RATHKE A SYNCHRONOUS LANGUAGE WITH PARTIAL DELAY SPECIFICATION FOR REAL-TIME SYSTEMS PROGRAMMING 223 R E M Y WYSS, FREDERIC BONIOL, JULIEN FORGET, AND CLAIRE PAGETTI S E S S I O N VII: D Y N A M I C A N A L Y S I S CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS 239 NILOOFAR RAZAVI, FRANJO IVANCIC, VINEET KAHLON, AND AARTI GUPTA JAVA BYTECODE INSTRUMENTATION MADE EASY: THE DISL FRAMEWORK FOR DYNAMIC PROGRAM ANALYSIS 256 LUKDS MAREK, YUDI ZHENG, DANILO ANSALONI, AIBEK SARIMBEKOV, WALTER BINDER, PETR TUMA, AND ZHENGWEI QI S E S S I O N VIII: C O M P L E X I T Y A N D S E M A N T I C S INDEXED REALIZABILITY FOR BOUNDED-TIME PROGRAMMING WITH REFERENCES AND TYPE FIXPOINTS 264 ALOIS BRUNEI AND ANTOINE MADET A NEW ORDER-THEORETIC CHARACTERISATION OF THE POLYTIME COMPUTABLE FUNCTIONS 280 MARTIN AVANZINI, NAOHI EGUCHI, AND GEORG MOSER A DYNAMIC INTERPRETATION OF THE CPS HIERARCHY 296 MAREK MATERZOK AND DARIUSZ BIERNACKI IMAGE 3 TABLE OF CONTENTS XI S E S S I O N IX: I N V I T E D TALK SCALABLE FORMAL MACHINE MODELS 312 GREG MORRISETT S E S S I O N X: P R O G R A M LOGICS A N D VERIFICATION MODULAR VERIFICATION OF CONCURRENT THREAD MANAGEMENT 315 YU GUO, XINYU FENG, ZHONG SHAO, AND PEIZHI SHI A CASE FOR BEHAVIOR-PRESERVING ACTIONS IN SEPARATION LOGIC 332 DAVID COSTANZO AND ZHONG SHAO A GENERIC CYCLIC THEOREM PROVER 350 JAMES BROTHERSTON, NIKOS GOROGIANNIS, AND RASMUS L. PETERSEN DECISION PROCEDURES OVER SOPHISTICATED FRACTIONAL PERMISSIONS 368 X U A N BACH LE, CRISTIAN GHERGHINA, AND AQUINAS HOBOR S E S S I O N XI: I N V I T E D TALK MECHANIZED SEMANTICS FOR COMPILER VERIFICATION 386 XAVIER LEROY A U T H O R I N D E X 389
any_adam_object	1
author_GND	(DE-588)143443917
building	Verbundindex
bvnumber	BV040604228
classification_rvk	SS 4800
classification_tum	DAT 516f DAT 350f
ctrlnum	(OCoLC)823231593 (DE-599)DNB1027239161
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
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040604228</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130111</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">121203s2012 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N44</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1027239161</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642351816</subfield><subfield code="9">3-642-35181-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642351815</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-35181-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642351815</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86189155</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)823231593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1027239161</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</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">10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings</subfield><subfield code="c">Ranjit Jhala ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 388 S.</subfield><subfield code="c">235 mm x 155 mm</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">7705</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</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">2012</subfield><subfield code="z">Kioto</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" 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="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="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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jhala, Ranjit</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)143443917</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">APLAS</subfield><subfield code="n">10.</subfield><subfield code="d">2012</subfield><subfield code="c">Kyōto</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1028510896</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-35182-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7705</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7705</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4168077&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=025431925&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025431925</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Kioto gnd-content
genre_facet	Konferenzschrift 2012 Kioto
id	DE-604.BV040604228
illustrated	Not Illustrated
indexdate	2025-01-10T15:15:35Z
institution	BVB
institution_GND	(DE-588)1028510896
isbn	3642351816 9783642351815
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025431925
oclc_num	823231593
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	XI, 388 S. 235 mm x 155 mm
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings Ranjit Jhala ... (eds.) Berlin [u.a.] Springer 2012 XI, 388 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7705 Compiler (DE-588)4148248-7 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Codegenerierung (DE-588)4010346-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Kioto gnd-content Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Programmierlogik (DE-588)4047408-2 s DE-604 Programmiersprache (DE-588)4047409-4 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Programmtransformation (DE-588)4263654-1 s 2\p DE-604 Compiler (DE-588)4148248-7 s Codegenerierung (DE-588)4010346-8 s 3\p DE-604 Model Checking (DE-588)4434799-6 s 4\p DE-604 Nebenläufigkeit (DE-588)4115352-2 s 5\p DE-604 Jhala, Ranjit Sonstige (DE-588)143443917 oth APLAS 10. 2012 Kyōto Sonstige (DE-588)1028510896 oth Erscheint auch als Online-Ausgabe 978-3-642-35182-2 Lecture notes in computer science 7705 (DE-604)BV000000607 7705 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4168077&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025431925&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings Lecture notes in computer science Compiler (DE-588)4148248-7 gnd Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Programmtransformation (DE-588)4263654-1 gnd Model Checking (DE-588)4434799-6 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd Codegenerierung (DE-588)4010346-8 gnd
subject_GND	(DE-588)4148248-7 (DE-588)4333722-3 (DE-588)4047408-2 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4263654-1 (DE-588)4434799-6 (DE-588)4115352-2 (DE-588)4047409-4 (DE-588)4010346-8 (DE-588)1071861417
title	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings
title_auth	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings
title_exact_search	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings
title_full	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings Ranjit Jhala ... (eds.)
title_fullStr	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings Ranjit Jhala ... (eds.)
title_full_unstemmed	Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings Ranjit Jhala ... (eds.)
title_short	Programming languages and systems
title_sort	programming languages and systems 10th asian symposium aplas 2012 kyoto japan december 11 13 2012 proceedings
title_sub	10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings
topic	Compiler (DE-588)4148248-7 gnd Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Programmtransformation (DE-588)4263654-1 gnd Model Checking (DE-588)4434799-6 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd Codegenerierung (DE-588)4010346-8 gnd
topic_facet	Compiler Formale Methode Programmierlogik Programmanalyse Programmverifikation Programmtransformation Model Checking Nebenläufigkeit Programmiersprache Codegenerierung Konferenzschrift 2012 Kioto
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4168077&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025431925&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT jhalaranjit programminglanguagesandsystems10thasiansymposiumaplas2012kyotojapandecember11132012proceedings AT aplaskyoto programminglanguagesandsystems10thasiansymposiumaplas2012kyotojapandecember11132012proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge