Functional and logic programming: 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6009 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XI, 353 S. graph. Darst. 24 cm |
| ISBN: | 9783642122507 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036126652 | ||
| 003 | DE-604 | ||
| 005 | 20180824 | ||
| 007 | t| | ||
| 008 | 100419s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N10 |2 dnb | ||
| 016 | 7 | |a 1000569268 |2 DE-101 | |
| 020 | |a 9783642122507 |c kart. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.) |9 978-3-642-12250-7 | ||
| 024 | 3 | |a 9783642122507 | |
| 028 | 5 | 2 | |a 80012138 |
| 035 | |a (OCoLC)607971269 | ||
| 035 | |a (DE-599)DNB1000569268 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.114 |2 22/ger | |
| 082 | 0 | |a 005.115 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Functional and logic programming |b 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings |c Matthias Blume ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XI, 353 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6009 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Sendai |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Blume, Matthias |e Sonstige |0 (DE-588)1022545698 |4 oth | |
| 711 | 2 | |a FLOPS |n 10 |d 2010 |c Sendai |j Sonstige |0 (DE-588)16062511-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6009 |w (DE-604)BV000000607 |9 6009 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3435233&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=020209043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020209043 | |
Record in the Search Index
| _version_ | 1820875223957766144 |
|---|---|
| adam_text |
JAVIER ALVEZ AND FRANCISCO J. LOPEZ-FRAGUAS TABLE OF CONTENTS INVITED
TALKS BELUGA: PROGRAMMING WITH DEPENDENT TYPES, CONTEXTUAL DATA, AND
CONTEXTS 1 BRIGITTE PIENTKA USING STATIC ANALYSIS TO DETECT TYPE ERRORS
AND CONCURRENCY DEFECTS IN ERLANG PROGRAMS 13 KONSTANTINOS SAGONAS
SOLVING CONSTRAINT SATISFACTION PROBLEMS WITH SAT TECHNOLOGY 19 NAOYUKI
TAMURA, TOMOYA TANJO, AND MUTSUNORI BANBARA REFEREED PAPERS TYPES A
CHURCH-STYLE INTERMEDIATE LANGUAGE FOR MLT 24 DIDIER REMY AND BORIS
YAKOBOWSKI IIE: DEPENDENT TYPES WITHOUT THE SUGAR 40 THORSTEN
ALTENKIRCH, NILS ANDERS DANIELSSON, ANDRES LOH, AND NICOLAS OURY HASKELL
TYPE CONSTRAINTS UNLEASHED 56 DOMINIC ORCHARD AND TOM SCHRIJVERS PROGRAM
ANALYSIS AND TRANSFORMATION A FUNCTIONAL FRAMEWORK FOR RESULT CHECKING
72 GILLES BARTHE, PABLO BUIRAS, AND CESAR KUNZ TAG-FREE COMBINATORS FOR
BINDING-TIME POLYMORPHIC PROGRAM GENERATION 87 PETER THIEMANN AND MARTIN
SULZMANN CODE GENERATION VIA HIGHER-ORDER REWRITE SYSTEMS 103 FLORIAN
HAFTMANN AND TOBIAS NIPKOW FOUNDATIONS A COMPLETE AXIOMATIZATION OF
STRICT EQUALITY 118 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1000569268 DIGITALISIERT DURCH X TABLE OF CONTENTS
STANDARDIZATION AND BOEHM TREES FOR YL/X-CALCULUS 134 ALEXIS SAURIN AN
INTEGRATED DISTANCE FOR ATOMS 150 VICENT ESTRUCH, CESAR FERRI, JOSE
HERNANDEZ-ORALLO, AND M. JOSE RAMIREZ-QUINTANA LOGIC PROGRAMMING A PEARL
ON SAT SOLVING IN PROLOG 165 JACOB M. HOWE AND ANDY KING AUTOMATICALLY
GENERATING COUNTEREXAMPLES TO NAIVE FREE THEOREMS . 175 DANIEL SEIDEL
AND JANIS VOIGTLAENDER APPLYING CONSTRAINT LOGIC PROGRAMMING TO SQL TEST
CASE GENERATION 191 RAFAEL CABALLERO, YOLANDA GARCIA-RUIZ, AND FERNANDO
SAENZ-PEREZ EVALUATION AND NORMALIZATION INTERNAL NORMALIZATION,
COMPILATION AND DECOMPILATION FOR SYSTEM T SSN 207 STEFANO BERARDI AND
MAKOTO TATSUTA TOWARDS NORMALIZATION BY EVALUATION FOR THE /IRC-CALCULUS
OF CONSTRUCTIONS 224 ANDREAS ABEL DEFUNCTIONALIZED INTERPRETERS FOR
CALL-BY-NEED EVALUATION 240 OLIVIER DANVY, KEVIN MILLIKIN, JOHAN MUNK,
AND IAN ZERNY TERM REWRITING COMPLEXITY ANALYSIS BY GRAPH REWRITING 257
MARTIN AVANZINI AND GEORG MOSER LEAST UPPER BOUNDS ON THE SIZE OF
CHURCH-ROSSER DIAGRAMS IN TERM REWRITING AND A-CALCULUS 272 JEMEN KETEMA
AND JAKOB GRUE SIMONSEN PROVING INJECTIVITY OF FUNCTIONS VIA PROGRAM
INVERSION IN TERM REWRITIN TABLE OF CONTENTS XI PARALLELISM AND CONTROL
DELIMITED CONTROL IN OCAML, ABSTRACTLY AND CONCRETELY: SYSTEM
DESCRIPTION 304 OLEG KISELYOV AUTOMATIC PARALLELIZATION OF RECURSIVE
FUNCTIONS USING QUANTIFIER ELIMINATION 321 AKIMASA MORIHATA AND KIMINORI
MATSUZAKI A SKELETON FOR DISTRIBUTED WORK POOLS IN EDEN 337 MISCHA
DIETERLE, JOST BERTHOLD, AND RITA LOOGEN AUTHOR INDEX 355 |
| any_adam_object | 1 |
| author_GND | (DE-588)1022545698 |
| building | Verbundindex |
| bvnumber | BV036126652 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f DAT 706f |
| ctrlnum | (OCoLC)607971269 (DE-599)DNB1000569268 |
| dewey-full | 005.114 005.115 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.114 005.115 |
| dewey-search | 005.114 005.115 |
| dewey-sort | 15.114 |
| 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">BV036126652</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180824</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100419s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N10</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000569268</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642122507</subfield><subfield code="c">kart. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.)</subfield><subfield code="9">978-3-642-12250-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642122507</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80012138</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)607971269</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000569268</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.114</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.115</subfield><subfield code="2">22/ger</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 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Functional and logic programming</subfield><subfield code="b">10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings</subfield><subfield code="c">Matthias Blume ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 353 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6009</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-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">2010</subfield><subfield code="z">Sendai</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-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">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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">Blume, Matthias</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1022545698</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FLOPS</subfield><subfield code="n">10</subfield><subfield code="d">2010</subfield><subfield code="c">Sendai</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16062511-7</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">6009</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6009</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3435233&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=020209043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020209043</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Sendai gnd-content |
| genre_facet | Konferenzschrift 2010 Sendai |
| id | DE-604.BV036126652 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:14Z |
| institution | BVB |
| institution_GND | (DE-588)16062511-7 |
| isbn | 9783642122507 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020209043 |
| oclc_num | 607971269 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | XI, 353 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings Matthias Blume ... (eds.) Berlin [u.a.] Springer 2010 XI, 353 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6009 Literaturangaben Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Sendai gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Funktionale Programmierung (DE-588)4198740-8 s Blume, Matthias Sonstige (DE-588)1022545698 oth FLOPS 10 2010 Sendai Sonstige (DE-588)16062511-7 oth Lecture notes in computer science 6009 (DE-604)BV000000607 6009 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3435233&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=020209043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings Lecture notes in computer science Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4198740-8 (DE-588)1071861417 |
| title | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings |
| title_auth | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings |
| title_exact_search | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings |
| title_full | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings Matthias Blume ... (eds.) |
| title_fullStr | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings Matthias Blume ... (eds.) |
| title_full_unstemmed | Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings Matthias Blume ... (eds.) |
| title_short | Functional and logic programming |
| title_sort | functional and logic programming 10th international symposium flops 2010 sendai japan april 19 21 2010 proceedings |
| title_sub | 10th international symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010 ; proceedings |
| topic | Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Logische Programmierung Funktionale Programmierung Konferenzschrift 2010 Sendai |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3435233&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=020209043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT blumematthias functionalandlogicprogramming10thinternationalsymposiumflops2010sendaijapanapril19212010proceedings AT flopssendai functionalandlogicprogramming10thinternationalsymposiumflops2010sendaijapanapril19212010proceedings |