{"entities":{"Q1960263":{"pageid":1971005,"ns":120,"title":"Item:Q1960263","lastrevid":43447134,"modified":"2025-07-25T22:42:16Z","type":"item","id":"Q1960263","labels":{"en":{"language":"en","value":"Introduction to the theory of programming languages."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5799438"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960263$AFE43C70-0EC9-4261-A646-8028666CCA13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98cc79b897120c1aefd099fa73224de28e559fc2","datavalue":{"value":{"text":"Introduction to the theory of programming languages.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960263$80C45BCD-C40D-4C39-89AF-906158645DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8e65d77f732c583ebfa80d8ffe4c5c3cce2cd0e","datavalue":{"value":"1213.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$F9964B7F-5876-497C-84C4-B61B196CA516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5afd2f756f151791dbf0de824c0b1b5f1f99fa55","datavalue":{"value":"10.1007/978-0-85729-076-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$A709443E-22B0-496D-A967-3AFF7DD7F9A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960263$9CC28FAB-D3E6-4DEE-BE81-16F13F027F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f256d5cf43befc80d25eef0366dda59dbd77d3","datavalue":{"value":{"entity-type":"item","numeric-id":1229200,"id":"Q1229200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960263$20009125-BB8D-498A-BFC0-444F92B3A684","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2df447ef05106ab8f26cea9fda71b2b40c740db","datavalue":{"value":{"entity-type":"item","numeric-id":355065,"id":"Q355065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960263$05297D1F-60F1-40A9-AC2B-CBEB92457084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bc825493bb220acb505797bc531e77eaaee5ef2","datavalue":{"value":{"time":"+2010-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960263$D4546D55-F3B6-4029-B1A2-B5686F26360C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2812ae46302dd5a4b95eccd9a95f782432419cb4","datavalue":{"value":"The book is devoted to the methods of defining semantics of programming languages, understood as the relation between the program and its input and output. The first chapter defines basic concepts, in particular the fixed point theorem, as well as three formalisms -- denotational semantics, big-step operational semantics and small-step operational semantics. In the following, the introduced concepts and methods are applied to the functional programming language Programming Computable Functions (PCF), originally formulated by Dana Scott. Chapter 2 describes the syntax of the language and the principles of its operational semantics. Chapters 3 and 4 are devoted to the creation of an interpreter and/or a compiler for PCF based on the definition of its semantics.  Chapters 5 and 6 elaborate the exposition by adding types to PCF and formulating its denotational semantics and type inference. The next two chapters further extend the language with references, assignment statements, records and objects. All the chapters are supplemented by exercises. Chapter 9 contains a suitable summary of the exposition.  This is a very good textbook from the Springer series Undergraduate Topics in Computer Science; it was first published in French in 2005 [Introduction \u00e0 la th\u00e9orie des langages de programmation. Palaiseau: Les \u00c9ditions de l'\u00c9cole Polytechnique (2006; Zbl 1193.68067)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960263$D7DA6A1C-63C4-4D7C-A217-450DC6C3F229","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$271FD6DB-ACBB-4698-B0C9-F41F5A920838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$820DF918-45A7-418B-9DC6-6C37FE6981BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$D6A33CEC-8AF2-4DE3-9924-4E4219247CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$34369766-AE4C-4253-8110-78E4A8BC2572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$FE425420-6EFA-4989-A759-45B365D2C5CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"924e22bf21420c24283cdf5ef5d83919060540aa","datavalue":{"value":"5799438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$38A6BEB6-A57C-4DB6-815A-342BFDA08F4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960263$9918CB21-3B1E-4889-BD4C-C5D91ACE9F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baec2d608c898551ec7ed5e7d30a84bee44b2c49","datavalue":{"value":"PCF language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960263$60B28055-BE4E-42F1-AEEE-35E8C366E066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960263$7A8A3D4A-54BC-49EA-B97E-2978735A28CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cdb35b853c0f6bbf6c4d7efe1270c8d41aa94f","datavalue":{"value":"fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960263$290ADB27-0FC9-478D-B9E5-85FBA186C28B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960263$DBCD2CA5-02C9-4143-A9E7-412974815967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b78ffb3e731fb71f668220c2502ed3e88f769be","datavalue":{"value":"https://doi.org/10.1007/978-0-85729-076-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1960263$B2C7201D-0CBB-4D94-80B9-C7B1A91B361F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d80f554d07051f2e71d7a043f7534b4efb4f92a4","datavalue":{"value":"W385926444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960263$A41B3A60-8738-40E6-9C13-3D183FC9E82B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2756abb3006984b0bbdc4bfa275d9b9e0e0de873","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090114811bbad1cad3b2732bc49814f34d855ae2","datavalue":{"value":{"amount":"+0.8424377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$6E007827-79D5-4CFA-B75A-1E2D4425301B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0dc7500a5efc0a604dfe1470b5f1f00d5c45de","datavalue":{"value":{"entity-type":"item","numeric-id":3998266,"id":"Q3998266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2036fad2a0ead0d948daf9928abe9762f7abb13","datavalue":{"value":{"amount":"+0.8409394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$27DF748C-58E0-46D5-A834-0C1BBB170DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1414ea05eca67b4e8370a2c68ffbf1f2efbfefe0","datavalue":{"value":{"entity-type":"item","numeric-id":3631317,"id":"Q3631317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f8a0c37319cf75f4e06eaaf03e613c00125f02","datavalue":{"value":{"amount":"+0.8309461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$B1207770-A3AA-4C15-B81D-A91543AA55EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ff49cc9c75c4ca140cb551c7e1aa3303085faf","datavalue":{"value":{"entity-type":"item","numeric-id":4855362,"id":"Q4855362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1582f3ebfb604256e4a37f5eaa92bf010cb0fa","datavalue":{"value":{"amount":"+0.82807994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$93C58B24-3FC2-4A78-B646-0F40017690F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710cc2d8cea70a27458540786097de8719f56ad9","datavalue":{"value":{"entity-type":"item","numeric-id":1817109,"id":"Q1817109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46cc15a3d4846abff55f8b37bdb73ba5a023dc3","datavalue":{"value":{"amount":"+0.8236753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$CA3BDE08-EFC8-4657-A68E-EA4B4E255FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e16f7b2ef7626fc696c74b4b39bb52dc7f8309b","datavalue":{"value":{"entity-type":"item","numeric-id":3571945,"id":"Q3571945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e233dfb538c0594a23b6d8e1a5c70b834c8afccc","datavalue":{"value":{"amount":"+0.8218552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$39E50022-C5E5-4D46-AD37-1A1C7622BB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fce6f8ad6b8c888ba1179087486e580713294fa","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f4b4636893cadc210c8c144e497a20ff74ee5a","datavalue":{"value":{"amount":"+0.81994355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$1AA6B6DA-DC12-413E-AFAD-F126812320F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ea3d9347864f4157bf41a8b22872cc30a9fef","datavalue":{"value":{"entity-type":"item","numeric-id":4692506,"id":"Q4692506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eaea668fa3b1c4b4b17e0c11ea54c11a021ff08","datavalue":{"value":{"amount":"+0.8172629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$FCDE7565-F5A0-4BA6-BD9A-27496798C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad16626aeea6c71c0d560732fe9ddf3c9bc62d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4864231,"id":"Q4864231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec0ccad1497137639eddd2bbf7a0c903b5f5bdf","datavalue":{"value":{"amount":"+0.8138979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$38948762-CC7B-4CA6-B5AF-52A130CDF6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d44b0feaa71ca008ccbf4970d5c62cf2bb8676","datavalue":{"value":{"entity-type":"item","numeric-id":3992670,"id":"Q3992670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b2a56ac1bc3045fe429871fb77252acadd7a89","datavalue":{"value":{"amount":"+0.81202745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960263$20A8C764-8F21-4C69-B653-46D3329FE748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1960263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1960263"}}}}}