Homomorphism preserving algebraic specifications require hidden sorts:
Abstract: "Although every computable data type has an initial algebra specification with hidden functions, it may happen that some of the homomorphic images of the data type are not models of the specification. The latter are reducts of algebras that would be models of the specification if all...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1993
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
93,44 |
| Subjects: | |
| Summary: | Abstract: "Although every computable data type has an initial algebra specification with hidden functions, it may happen that some of the homomorphic images of the data type are not models of the specification. The latter are reducts of algebras that would be models of the specification if all its functions were visible, whereas the homomorphic images of the data type are independent of the specification and need not be compatible with the hidden functions used in it. A hidden function specification that does not exclude any of the homomorphic images of its initial model from its model class will be called homomorphism preserving It turns out that, unlike unrestricted initial algebra specification, homomorphism preserving initial algebra specification of computable data types requires both hidden sorts and hidden functions. |
| Physical Description: | 12 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009034676 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940227s1993 |||| 00||| eng d | ||
| 035 | |a (OCoLC)31184826 | ||
| 035 | |a (DE-599)BVBBV009034676 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Bergstra, Jan A. |d 1951- |e Verfasser |0 (DE-588)123304881 |4 aut | |
| 245 | 1 | 0 | |a Homomorphism preserving algebraic specifications require hidden sorts |c J. A. Bergstra, J. Heering |
| 264 | 1 | |a Amsterdam |c 1993 | |
| 300 | |a 12 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 93,44 | |
| 520 | 3 | |a Abstract: "Although every computable data type has an initial algebra specification with hidden functions, it may happen that some of the homomorphic images of the data type are not models of the specification. The latter are reducts of algebras that would be models of the specification if all its functions were visible, whereas the homomorphic images of the data type are independent of the specification and need not be compatible with the hidden functions used in it. A hidden function specification that does not exclude any of the homomorphic images of its initial model from its model class will be called homomorphism preserving | |
| 520 | 3 | |a It turns out that, unlike unrestricted initial algebra specification, homomorphism preserving initial algebra specification of computable data types requires both hidden sorts and hidden functions. | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 700 | 1 | |a Heering, Jürgen |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 93,44 |w (DE-604)BV008928356 |9 93,44 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005977214 | ||
Record in the Search Index
| _version_ | 1804123388130623488 |
|---|---|
| any_adam_object | |
| author | Bergstra, Jan A. 1951- Heering, Jürgen |
| author_GND | (DE-588)123304881 |
| author_facet | Bergstra, Jan A. 1951- Heering, Jürgen |
| author_role | aut aut |
| author_sort | Bergstra, Jan A. 1951- |
| author_variant | j a b ja jab j h jh |
| building | Verbundindex |
| bvnumber | BV009034676 |
| ctrlnum | (OCoLC)31184826 (DE-599)BVBBV009034676 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01994nam a2200325 cb4500</leader><controlfield tag="001">BV009034676</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1993 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31184826</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009034676</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bergstra, Jan A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123304881</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Homomorphism preserving algebraic specifications require hidden sorts</subfield><subfield code="c">J. A. Bergstra, J. Heering</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">12 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">93,44</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Although every computable data type has an initial algebra specification with hidden functions, it may happen that some of the homomorphic images of the data type are not models of the specification. The latter are reducts of algebras that would be models of the specification if all its functions were visible, whereas the homomorphic images of the data type are independent of the specification and need not be compatible with the hidden functions used in it. A hidden function specification that does not exclude any of the homomorphic images of its initial model from its model class will be called homomorphism preserving</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">It turns out that, unlike unrestricted initial algebra specification, homomorphism preserving initial algebra specification of computable data types requires both hidden sorts and hidden functions.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Heering, Jürgen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">93,44</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">93,44</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005977214</subfield></datafield></record></collection> |
| id | DE-604.BV009034676 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005977214 |
| oclc_num | 31184826 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 12 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bergstra, Jan A. 1951- Verfasser (DE-588)123304881 aut Homomorphism preserving algebraic specifications require hidden sorts J. A. Bergstra, J. Heering Amsterdam 1993 12 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 93,44 Abstract: "Although every computable data type has an initial algebra specification with hidden functions, it may happen that some of the homomorphic images of the data type are not models of the specification. The latter are reducts of algebras that would be models of the specification if all its functions were visible, whereas the homomorphic images of the data type are independent of the specification and need not be compatible with the hidden functions used in it. A hidden function specification that does not exclude any of the homomorphic images of its initial model from its model class will be called homomorphism preserving It turns out that, unlike unrestricted initial algebra specification, homomorphism preserving initial algebra specification of computable data types requires both hidden sorts and hidden functions. Abstract data types (Computer science) Programming languages (Electronic computers) Heering, Jürgen Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 93,44 (DE-604)BV008928356 93,44 |
| spellingShingle | Bergstra, Jan A. 1951- Heering, Jürgen Homomorphism preserving algebraic specifications require hidden sorts Abstract data types (Computer science) Programming languages (Electronic computers) |
| title | Homomorphism preserving algebraic specifications require hidden sorts |
| title_auth | Homomorphism preserving algebraic specifications require hidden sorts |
| title_exact_search | Homomorphism preserving algebraic specifications require hidden sorts |
| title_full | Homomorphism preserving algebraic specifications require hidden sorts J. A. Bergstra, J. Heering |
| title_fullStr | Homomorphism preserving algebraic specifications require hidden sorts J. A. Bergstra, J. Heering |
| title_full_unstemmed | Homomorphism preserving algebraic specifications require hidden sorts J. A. Bergstra, J. Heering |
| title_short | Homomorphism preserving algebraic specifications require hidden sorts |
| title_sort | homomorphism preserving algebraic specifications require hidden sorts |
| topic | Abstract data types (Computer science) Programming languages (Electronic computers) |
| topic_facet | Abstract data types (Computer science) Programming languages (Electronic computers) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bergstrajana homomorphismpreservingalgebraicspecificationsrequirehiddensorts AT heeringjurgen homomorphismpreservingalgebraicspecificationsrequirehiddensorts |