Epic 1.0 (unconditional), an equational programming language:
Abstract: "We present EPIC, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional EPIC."
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1996
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
96,4 |
| Subjects: | |
| Summary: | Abstract: "We present EPIC, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional EPIC." |
| Physical Description: | 16 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011031647 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961031s1996 |||| 00||| engod | ||
| 035 | |a (OCoLC)35997961 | ||
| 035 | |a (DE-599)BVBBV011031647 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Walters, Humphrey R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Epic 1.0 (unconditional), an equational programming language |c H. R. Walters ; J. F. Th. Kamperman |
| 264 | 1 | |a Amsterdam |c 1996 | |
| 300 | |a 16 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 96,4 | |
| 520 | 3 | |a Abstract: "We present EPIC, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional EPIC." | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 700 | 1 | |a Kamperman, Jasper F. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 96,4 |w (DE-604)BV008928356 |9 96,4 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007386804 | ||
Record in the Search Index
| _version_ | 1804125521959714817 |
|---|---|
| any_adam_object | |
| author | Walters, Humphrey R. Kamperman, Jasper F. |
| author_facet | Walters, Humphrey R. Kamperman, Jasper F. |
| author_role | aut aut |
| author_sort | Walters, Humphrey R. |
| author_variant | h r w hr hrw j f k jf jfk |
| building | Verbundindex |
| bvnumber | BV011031647 |
| ctrlnum | (OCoLC)35997961 (DE-599)BVBBV011031647 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01282nam a2200301 cb4500</leader><controlfield tag="001">BV011031647</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961031s1996 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35997961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011031647</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">Walters, Humphrey R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Epic 1.0 (unconditional), an equational programming language</subfield><subfield code="c">H. R. Walters ; J. F. Th. Kamperman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">16 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">96,4</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We present EPIC, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional EPIC."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kamperman, Jasper F.</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">96,4</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">96,4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007386804</subfield></datafield></record></collection> |
| id | DE-604.BV011031647 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:02:53Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007386804 |
| oclc_num | 35997961 |
| open_access_boolean | |
| physical | 16 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Walters, Humphrey R. Verfasser aut Epic 1.0 (unconditional), an equational programming language H. R. Walters ; J. F. Th. Kamperman Amsterdam 1996 16 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 96,4 Abstract: "We present EPIC, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional EPIC." Programming languages (Electronic computers) Rewriting systems (Computer science) Kamperman, Jasper F. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 96,4 (DE-604)BV008928356 96,4 |
| spellingShingle | Walters, Humphrey R. Kamperman, Jasper F. Epic 1.0 (unconditional), an equational programming language Programming languages (Electronic computers) Rewriting systems (Computer science) |
| title | Epic 1.0 (unconditional), an equational programming language |
| title_auth | Epic 1.0 (unconditional), an equational programming language |
| title_exact_search | Epic 1.0 (unconditional), an equational programming language |
| title_full | Epic 1.0 (unconditional), an equational programming language H. R. Walters ; J. F. Th. Kamperman |
| title_fullStr | Epic 1.0 (unconditional), an equational programming language H. R. Walters ; J. F. Th. Kamperman |
| title_full_unstemmed | Epic 1.0 (unconditional), an equational programming language H. R. Walters ; J. F. Th. Kamperman |
| title_short | Epic 1.0 (unconditional), an equational programming language |
| title_sort | epic 1 0 unconditional an equational programming language |
| topic | Programming languages (Electronic computers) Rewriting systems (Computer science) |
| topic_facet | Programming languages (Electronic computers) Rewriting systems (Computer science) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT waltershumphreyr epic10unconditionalanequationalprogramminglanguage AT kampermanjasperf epic10unconditionalanequationalprogramminglanguage |