An algebraic specification for the static semantics of Pascal:
Abstract: "Over the last few years, several formal specifications for the static semantics of Pascal have been given. Thus far, however, no algebraic specification has been published. In this document we discuss an algebraic specification we have made for the complete static semantics of Pascal...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1991
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
91,29 |
| Subjects: | |
| Summary: | Abstract: "Over the last few years, several formal specifications for the static semantics of Pascal have been given. Thus far, however, no algebraic specification has been published. In this document we discuss an algebraic specification we have made for the complete static semantics of Pascal as defined by the International Standardization Organization (ISO). We explain how the specification has been set up, and how several details have been dealt with in a convenient way. Finally, we relate the specification to algebraic specifications for other aspects of (other) programming languages, and we briefly compare the algebraic approach with the other formal specifications of Pascal." |
| Physical Description: | 93 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009225186 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27320648 | ||
| 035 | |a (DE-599)BVBBV009225186 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Deursen, A. van |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An algebraic specification for the static semantics of Pascal |c A. van Deursen |
| 264 | 1 | |a Amsterdam |c 1991 | |
| 300 | |a 93 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 91,29 | |
| 520 | 3 | |a Abstract: "Over the last few years, several formal specifications for the static semantics of Pascal have been given. Thus far, however, no algebraic specification has been published. In this document we discuss an algebraic specification we have made for the complete static semantics of Pascal as defined by the International Standardization Organization (ISO). We explain how the specification has been set up, and how several details have been dealt with in a convenient way. Finally, we relate the specification to algebraic specifications for other aspects of (other) programming languages, and we briefly compare the algebraic approach with the other formal specifications of Pascal." | |
| 650 | 4 | |a Pascal (Computer program language) | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Software engineering | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 91,29 |w (DE-604)BV008928356 |9 91,29 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006134294 | ||
Record in the Search Index
| _version_ | 1804123668329005056 |
|---|---|
| any_adam_object | |
| author | Deursen, A. van |
| author_facet | Deursen, A. van |
| author_role | aut |
| author_sort | Deursen, A. van |
| author_variant | a v d av avd |
| building | Verbundindex |
| bvnumber | BV009225186 |
| ctrlnum | (OCoLC)27320648 (DE-599)BVBBV009225186 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01740nam a2200313 cb4500</leader><controlfield tag="001">BV009225186</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27320648</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009225186</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">Deursen, A. van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An algebraic specification for the static semantics of Pascal</subfield><subfield code="c">A. van Deursen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">93 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">91,29</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Over the last few years, several formal specifications for the static semantics of Pascal have been given. Thus far, however, no algebraic specification has been published. In this document we discuss an algebraic specification we have made for the complete static semantics of Pascal as defined by the International Standardization Organization (ISO). We explain how the specification has been set up, and how several details have been dealt with in a convenient way. Finally, we relate the specification to algebraic specifications for other aspects of (other) programming languages, and we briefly compare the algebraic approach with the other formal specifications of Pascal."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Pascal (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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">91,29</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">91,29</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006134294</subfield></datafield></record></collection> |
| id | DE-604.BV009225186 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:26Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006134294 |
| oclc_num | 27320648 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 93 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Deursen, A. van Verfasser aut An algebraic specification for the static semantics of Pascal A. van Deursen Amsterdam 1991 93 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 91,29 Abstract: "Over the last few years, several formal specifications for the static semantics of Pascal have been given. Thus far, however, no algebraic specification has been published. In this document we discuss an algebraic specification we have made for the complete static semantics of Pascal as defined by the International Standardization Organization (ISO). We explain how the specification has been set up, and how several details have been dealt with in a convenient way. Finally, we relate the specification to algebraic specifications for other aspects of (other) programming languages, and we briefly compare the algebraic approach with the other formal specifications of Pascal." Pascal (Computer program language) Semantics Software engineering Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 91,29 (DE-604)BV008928356 91,29 |
| spellingShingle | Deursen, A. van An algebraic specification for the static semantics of Pascal Pascal (Computer program language) Semantics Software engineering |
| title | An algebraic specification for the static semantics of Pascal |
| title_auth | An algebraic specification for the static semantics of Pascal |
| title_exact_search | An algebraic specification for the static semantics of Pascal |
| title_full | An algebraic specification for the static semantics of Pascal A. van Deursen |
| title_fullStr | An algebraic specification for the static semantics of Pascal A. van Deursen |
| title_full_unstemmed | An algebraic specification for the static semantics of Pascal A. van Deursen |
| title_short | An algebraic specification for the static semantics of Pascal |
| title_sort | an algebraic specification for the static semantics of pascal |
| topic | Pascal (Computer program language) Semantics Software engineering |
| topic_facet | Pascal (Computer program language) Semantics Software engineering |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT deursenavan analgebraicspecificationforthestaticsemanticsofpascal |