Higher order programming in QPC2: a case study of map-function
Abstract: "This paper describes the technique of defining programs in second order intuitionistic logic and generating efficient programs. QPC², a second order constructive logic, is presented and a variant of realizability, proof normalization, extended projection method, and various other tec...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1989
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
515 |
| Subjects: | |
| Summary: | Abstract: "This paper describes the technique of defining programs in second order intuitionistic logic and generating efficient programs. QPC², a second order constructive logic, is presented and a variant of realizability, proof normalization, extended projection method, and various other techniques are used to generate programs from the definitions. The examples of map, ap (map, succ), and ap (map, even-odd), where even-odd returns boolean values according to input natural numbers, are investigated, and quite natural and efficient programs are extracted." |
| Physical Description: | 34 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010949379 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960916s1989 |||| 00||| engod | ||
| 035 | |a (OCoLC)22536576 | ||
| 035 | |a (DE-599)BVBBV010949379 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Takayama, Yukihide |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Higher order programming in QPC2 |b a case study of map-function |c by Y. Takayama |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 34 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 515 | |
| 520 | 3 | |a Abstract: "This paper describes the technique of defining programs in second order intuitionistic logic and generating efficient programs. QPC², a second order constructive logic, is presented and a variant of realizability, proof normalization, extended projection method, and various other techniques are used to generate programs from the definitions. The examples of map, ap (map, succ), and ap (map, even-odd), where even-odd returns boolean values according to input natural numbers, are investigated, and quite natural and efficient programs are extracted." | |
| 650 | 4 | |a Computer programs | |
| 650 | 4 | |a Logic | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 515 |w (DE-604)BV010923438 |9 515 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007323291 | ||
Record in the Search Index
| _version_ | 1804125436356067328 |
|---|---|
| any_adam_object | |
| author | Takayama, Yukihide |
| author_facet | Takayama, Yukihide |
| author_role | aut |
| author_sort | Takayama, Yukihide |
| author_variant | y t yt |
| building | Verbundindex |
| bvnumber | BV010949379 |
| ctrlnum | (OCoLC)22536576 (DE-599)BVBBV010949379 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01522nam a2200301 cb4500</leader><controlfield tag="001">BV010949379</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960916s1989 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22536576</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010949379</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-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Takayama, Yukihide</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Higher order programming in QPC2</subfield><subfield code="b">a case study of map-function</subfield><subfield code="c">by Y. Takayama</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">34 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">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">515</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper describes the technique of defining programs in second order intuitionistic logic and generating efficient programs. QPC², a second order constructive logic, is presented and a variant of realizability, proof normalization, extended projection method, and various other techniques are used to generate programs from the definitions. The examples of map, ap (map, succ), and ap (map, even-odd), where even-odd returns boolean values according to input natural numbers, are investigated, and quite natural and efficient programs are extracted."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">515</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">515</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007323291</subfield></datafield></record></collection> |
| id | DE-604.BV010949379 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:32Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007323291 |
| oclc_num | 22536576 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 34 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Takayama, Yukihide Verfasser aut Higher order programming in QPC2 a case study of map-function by Y. Takayama Tokyo, Japan 1989 34 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 515 Abstract: "This paper describes the technique of defining programs in second order intuitionistic logic and generating efficient programs. QPC², a second order constructive logic, is presented and a variant of realizability, proof normalization, extended projection method, and various other techniques are used to generate programs from the definitions. The examples of map, ap (map, succ), and ap (map, even-odd), where even-odd returns boolean values according to input natural numbers, are investigated, and quite natural and efficient programs are extracted." Computer programs Logic Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 515 (DE-604)BV010923438 515 |
| spellingShingle | Takayama, Yukihide Higher order programming in QPC2 a case study of map-function Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Computer programs Logic |
| title | Higher order programming in QPC2 a case study of map-function |
| title_auth | Higher order programming in QPC2 a case study of map-function |
| title_exact_search | Higher order programming in QPC2 a case study of map-function |
| title_full | Higher order programming in QPC2 a case study of map-function by Y. Takayama |
| title_fullStr | Higher order programming in QPC2 a case study of map-function by Y. Takayama |
| title_full_unstemmed | Higher order programming in QPC2 a case study of map-function by Y. Takayama |
| title_short | Higher order programming in QPC2 |
| title_sort | higher order programming in qpc2 a case study of map function |
| title_sub | a case study of map-function |
| topic | Computer programs Logic |
| topic_facet | Computer programs Logic |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT takayamayukihide higherorderprogramminginqpc2acasestudyofmapfunction |