Relational parametricity and local variables: (Preliminary report)
Abstract: "J.C. Reynolds has argued that Strachey's intuitive concept of 'parametric' (i.e., uniform) polymorphism has essentially to do with representation independence in the programming of data representations, and demonstrated that logical relations could be used to formalize...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series
223 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "J.C. Reynolds has argued that Strachey's intuitive concept of 'parametric' (i.e., uniform) polymorphism has essentially to do with representation independence in the programming of data representations, and demonstrated that logical relations could be used to formalize this principle in languages with type variables and user-defined types. Here, we use relational parametricity to address long-standing problems with the semantics of local-variable declarations in Algol-like languages. The new model is based on a cartesian closed category of 'relation-preserving' functors and natural transformations which is induced by a suitable category of 'possible worlds' with relations assigned to its objects and morphisms The semantic interpretation supports straightforward validations of all the test equivalences that have been proposed in the literature; however, it is not known whether it is fully abstract. |
| Beschreibung: | 25 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010477641 | ||
| 003 | DE-604 | ||
| 005 | 19951114 | ||
| 007 | t | ||
| 008 | 951114s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)27366497 | ||
| 035 | |a (DE-599)BVBBV010477641 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a O'Hearn, P. W. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Relational parametricity and local variables |b (Preliminary report) |c P. W. O'Hearn ; R. D. Tennent |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 25 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |v 223 | |
| 520 | 3 | |a Abstract: "J.C. Reynolds has argued that Strachey's intuitive concept of 'parametric' (i.e., uniform) polymorphism has essentially to do with representation independence in the programming of data representations, and demonstrated that logical relations could be used to formalize this principle in languages with type variables and user-defined types. Here, we use relational parametricity to address long-standing problems with the semantics of local-variable declarations in Algol-like languages. The new model is based on a cartesian closed category of 'relation-preserving' functors and natural transformations which is induced by a suitable category of 'possible worlds' with relations assigned to its objects and morphisms | |
| 520 | 3 | |a The semantic interpretation supports straightforward validations of all the test equivalences that have been proposed in the literature; however, it is not known whether it is fully abstract. | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 7 | |a Mathematics |2 sigle | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Type theory | |
| 700 | 1 | |a Tennent, Robert D. |e Verfasser |4 aut | |
| 830 | 0 | |a Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |v 223 |w (DE-604)BV008930032 |9 223 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006981342 | ||
Datensatz im Suchindex
| _version_ | 1804124909977206784 |
|---|---|
| any_adam_object | |
| author | O'Hearn, P. W. Tennent, Robert D. |
| author_facet | O'Hearn, P. W. Tennent, Robert D. |
| author_role | aut aut |
| author_sort | O'Hearn, P. W. |
| author_variant | p w o pw pwo r d t rd rdt |
| building | Verbundindex |
| bvnumber | BV010477641 |
| ctrlnum | (OCoLC)27366497 (DE-599)BVBBV010477641 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02013nam a2200337 cb4500</leader><controlfield tag="001">BV010477641</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951114 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951114s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27366497</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010477641</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="100" ind1="1" ind2=" "><subfield code="a">O'Hearn, P. W.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relational parametricity and local variables</subfield><subfield code="b">(Preliminary report)</subfield><subfield code="c">P. W. O'Hearn ; R. D. Tennent</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25 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">Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series</subfield><subfield code="v">223</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "J.C. Reynolds has argued that Strachey's intuitive concept of 'parametric' (i.e., uniform) polymorphism has essentially to do with representation independence in the programming of data representations, and demonstrated that logical relations could be used to formalize this principle in languages with type variables and user-defined types. Here, we use relational parametricity to address long-standing problems with the semantics of local-variable declarations in Algol-like languages. The new model is based on a cartesian closed category of 'relation-preserving' functors and natural transformations which is induced by a suitable category of 'possible worlds' with relations assigned to its objects and morphisms</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The semantic interpretation supports straightforward validations of all the test equivalences that have been proposed in the literature; however, it is not known whether it is fully abstract.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Type theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tennent, Robert D.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series</subfield><subfield code="v">223</subfield><subfield code="w">(DE-604)BV008930032</subfield><subfield code="9">223</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006981342</subfield></datafield></record></collection> |
| id | DE-604.BV010477641 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:53:10Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006981342 |
| oclc_num | 27366497 |
| open_access_boolean | |
| physical | 25 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |
| series2 | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |
| spelling | O'Hearn, P. W. Verfasser aut Relational parametricity and local variables (Preliminary report) P. W. O'Hearn ; R. D. Tennent Edinburgh 1992 25 S. txt rdacontent n rdamedia nc rdacarrier Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 223 Abstract: "J.C. Reynolds has argued that Strachey's intuitive concept of 'parametric' (i.e., uniform) polymorphism has essentially to do with representation independence in the programming of data representations, and demonstrated that logical relations could be used to formalize this principle in languages with type variables and user-defined types. Here, we use relational parametricity to address long-standing problems with the semantics of local-variable declarations in Algol-like languages. The new model is based on a cartesian closed category of 'relation-preserving' functors and natural transformations which is induced by a suitable category of 'possible worlds' with relations assigned to its objects and morphisms The semantic interpretation supports straightforward validations of all the test equivalences that have been proposed in the literature; however, it is not known whether it is fully abstract. Computer software sigle Mathematics sigle Mathematik Type theory Tennent, Robert D. Verfasser aut Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 223 (DE-604)BV008930032 223 |
| spellingShingle | O'Hearn, P. W. Tennent, Robert D. Relational parametricity and local variables (Preliminary report) Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series Computer software sigle Mathematics sigle Mathematik Type theory |
| title | Relational parametricity and local variables (Preliminary report) |
| title_auth | Relational parametricity and local variables (Preliminary report) |
| title_exact_search | Relational parametricity and local variables (Preliminary report) |
| title_full | Relational parametricity and local variables (Preliminary report) P. W. O'Hearn ; R. D. Tennent |
| title_fullStr | Relational parametricity and local variables (Preliminary report) P. W. O'Hearn ; R. D. Tennent |
| title_full_unstemmed | Relational parametricity and local variables (Preliminary report) P. W. O'Hearn ; R. D. Tennent |
| title_short | Relational parametricity and local variables |
| title_sort | relational parametricity and local variables preliminary report |
| title_sub | (Preliminary report) |
| topic | Computer software sigle Mathematics sigle Mathematik Type theory |
| topic_facet | Computer software Mathematics Mathematik Type theory |
| volume_link | (DE-604)BV008930032 |
| work_keys_str_mv | AT ohearnpw relationalparametricityandlocalvariablespreliminaryreport AT tennentrobertd relationalparametricityandlocalvariablespreliminaryreport |