The definition of Extended ML: a gentle introduction
Abstract: "Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences with a specification of the behaviour required and proceeds via a sequence of partial solutions until a complete solution, an executable SML program, is ob...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1995
|
| Schriftenreihe: | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series
322 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences with a specification of the behaviour required and proceeds via a sequence of partial solutions until a complete solution, an executable SML program, is obtained. All stages in this development process are expressed in the EML language, an extension of SML with axioms for describing properties of module components. This is an overview of the formal definition of the EML language. To complement the full technical details presented elsewhere, it provides an informal explanation of the main ideas, gives the rationale for certain design decisions, and outlines some of the technical issues involved. EML is unusual in being built around a 'real' programming language having a formally-defined syntax and semantics. Interesting and complex problems arise both from the nature of this relationship and from interactions between the features of the language." |
| Beschreibung: | 38 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011040900 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961106s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)34749315 | ||
| 035 | |a (DE-599)BVBBV011040900 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Kahrs, Stefan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The definition of Extended ML |b a gentle introduction |c by Stefan Kahrs ; Donald Sannella & Andrzej Tarlecki |
| 246 | 1 | 3 | |a ECS LFCS 95 322 |
| 264 | 1 | |a Edinburgh |c 1995 | |
| 300 | |a 38 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 322 | |
| 520 | 3 | |a Abstract: "Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences with a specification of the behaviour required and proceeds via a sequence of partial solutions until a complete solution, an executable SML program, is obtained. All stages in this development process are expressed in the EML language, an extension of SML with axioms for describing properties of module components. This is an overview of the formal definition of the EML language. To complement the full technical details presented elsewhere, it provides an informal explanation of the main ideas, gives the rationale for certain design decisions, and outlines some of the technical issues involved. EML is unusual in being built around a 'real' programming language having a formally-defined syntax and semantics. Interesting and complex problems arise both from the nature of this relationship and from interactions between the features of the language." | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a ML (Computer program language) | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 700 | 1 | |a Sannella, Donald T. |e Verfasser |4 aut | |
| 700 | 1 | |a Tarlecki, Andrzej |e Verfasser |4 aut | |
| 830 | 0 | |a Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |v 322 |w (DE-604)BV008930032 |9 322 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007392622 | ||
Datensatz im Suchindex
| _version_ | 1804125529893240832 |
|---|---|
| any_adam_object | |
| author | Kahrs, Stefan Sannella, Donald T. Tarlecki, Andrzej |
| author_facet | Kahrs, Stefan Sannella, Donald T. Tarlecki, Andrzej |
| author_role | aut aut aut |
| author_sort | Kahrs, Stefan |
| author_variant | s k sk d t s dt dts a t at |
| building | Verbundindex |
| bvnumber | BV011040900 |
| ctrlnum | (OCoLC)34749315 (DE-599)BVBBV011040900 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02187nam a2200337 cb4500</leader><controlfield tag="001">BV011040900</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961106s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34749315</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011040900</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">Kahrs, Stefan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The definition of Extended ML</subfield><subfield code="b">a gentle introduction</subfield><subfield code="c">by Stefan Kahrs ; Donald Sannella & Andrzej Tarlecki</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ECS LFCS 95 322</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">38 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">322</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences with a specification of the behaviour required and proceeds via a sequence of partial solutions until a complete solution, an executable SML program, is obtained. All stages in this development process are expressed in the EML language, an extension of SML with axioms for describing properties of module components. This is an overview of the formal definition of the EML language. To complement the full technical details presented elsewhere, it provides an informal explanation of the main ideas, gives the rationale for certain design decisions, and outlines some of the technical issues involved. EML is unusual in being built around a 'real' programming language having a formally-defined syntax and semantics. Interesting and complex problems arise both from the nature of this relationship and from interactions between the features of the language."</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="4"><subfield code="a">ML (Computer program language)</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">Sannella, Donald T.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarlecki, Andrzej</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">322</subfield><subfield code="w">(DE-604)BV008930032</subfield><subfield code="9">322</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007392622</subfield></datafield></record></collection> |
| id | DE-604.BV011040900 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007392622 |
| oclc_num | 34749315 |
| open_access_boolean | |
| physical | 38 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| 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 | Kahrs, Stefan Verfasser aut The definition of Extended ML a gentle introduction by Stefan Kahrs ; Donald Sannella & Andrzej Tarlecki ECS LFCS 95 322 Edinburgh 1995 38 S. txt rdacontent n rdamedia nc rdacarrier Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 322 Abstract: "Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences with a specification of the behaviour required and proceeds via a sequence of partial solutions until a complete solution, an executable SML program, is obtained. All stages in this development process are expressed in the EML language, an extension of SML with axioms for describing properties of module components. This is an overview of the formal definition of the EML language. To complement the full technical details presented elsewhere, it provides an informal explanation of the main ideas, gives the rationale for certain design decisions, and outlines some of the technical issues involved. EML is unusual in being built around a 'real' programming language having a formally-defined syntax and semantics. Interesting and complex problems arise both from the nature of this relationship and from interactions between the features of the language." Computer software sigle ML (Computer program language) Programming languages (Electronic computers) Sannella, Donald T. Verfasser aut Tarlecki, Andrzej Verfasser aut Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 322 (DE-604)BV008930032 322 |
| spellingShingle | Kahrs, Stefan Sannella, Donald T. Tarlecki, Andrzej The definition of Extended ML a gentle introduction Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series Computer software sigle ML (Computer program language) Programming languages (Electronic computers) |
| title | The definition of Extended ML a gentle introduction |
| title_alt | ECS LFCS 95 322 |
| title_auth | The definition of Extended ML a gentle introduction |
| title_exact_search | The definition of Extended ML a gentle introduction |
| title_full | The definition of Extended ML a gentle introduction by Stefan Kahrs ; Donald Sannella & Andrzej Tarlecki |
| title_fullStr | The definition of Extended ML a gentle introduction by Stefan Kahrs ; Donald Sannella & Andrzej Tarlecki |
| title_full_unstemmed | The definition of Extended ML a gentle introduction by Stefan Kahrs ; Donald Sannella & Andrzej Tarlecki |
| title_short | The definition of Extended ML |
| title_sort | the definition of extended ml a gentle introduction |
| title_sub | a gentle introduction |
| topic | Computer software sigle ML (Computer program language) Programming languages (Electronic computers) |
| topic_facet | Computer software ML (Computer program language) Programming languages (Electronic computers) |
| volume_link | (DE-604)BV008930032 |
| work_keys_str_mv | AT kahrsstefan thedefinitionofextendedmlagentleintroduction AT sannelladonaldt thedefinitionofextendedmlagentleintroduction AT tarleckiandrzej thedefinitionofextendedmlagentleintroduction AT kahrsstefan ecslfcs95322 AT sannelladonaldt ecslfcs95322 AT tarleckiandrzej ecslfcs95322 |