{"entities":{"Q1101435":{"pageid":1112187,"ns":120,"title":"Item:Q1101435","lastrevid":66133755,"modified":"2026-04-12T07:46:19Z","type":"item","id":"Q1101435","labels":{"en":{"language":"en","value":"A syntactic theory of sequential control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047684"}},"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":"Q1101435$F88FD18C-0874-4091-904E-F213D4B62B64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d77008d4c3ecf88e497622a55ab2865450383191","datavalue":{"value":{"text":"A syntactic theory of sequential control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101435$99FF3F22-F21E-45F8-872F-493CA6F25CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"602e7415f81883ebec7b6b42fec6a2210c2fd18c","datavalue":{"value":"0643.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$50D4573C-C61A-495B-8503-9AD1F843882A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7216b67cb7423774b89d5e601eb916ac102c6025","datavalue":{"value":"10.1016/0304-3975(87)90109-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$990176A6-22AA-4390-B945-60D26F972717","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$ADFBA2CB-4079-4662-A046-3FFF4D7AD2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce32ac41eacedba3c0484c0c8ef4429bc69fdaab","datavalue":{"value":{"entity-type":"item","numeric-id":1101432,"id":"Q1101432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$95D13F52-DEEF-489C-949B-C811F3DE2BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e802a401926b01804de5923d76909571b064b773","datavalue":{"value":{"entity-type":"item","numeric-id":1101433,"id":"Q1101433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$EDFE3CBD-B1C6-4EBB-A629-1B5AD730B7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb6be8d2d71724419734628fb1a50115658c6483","datavalue":{"value":{"entity-type":"item","numeric-id":1101434,"id":"Q1101434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$F0580815-5648-47DE-B094-575CD666A950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$835A7307-B278-476E-B3BF-34BEF6BCC8F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101435$388570F3-24AD-4596-89AF-C6D76D7F1D4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"614972fa4c6b5f72a514c815ad43c0fdfd1e7653","datavalue":{"value":"The paper presents an exposition of a theory of syntactic control in a lambda-calculus based programming language. First deficiencies of the lambda-calculus as a programming language are discussed and relevant literature reviewed. Although the control problem can be solved in a general setting using continuations, the authors seek to enrich the lambda-calculus by control operators rather than to model these operators within the standard calculus, and to provide a syntactic theory for these operators. The language \\(\\Lambda_ c\\) contains two control operators, one of them giving its argument complete control over the current continuation, and the other representing on abort operation terminating the program and yielding the value of its argument.    Operational semantics for the language is defined, and programming in this language is compared with programming in the traditional lambda- calculus. For the new calculus, notions of reduction and computation are defined, and their fundamental properties are proved. It is shown that the extended calculus satisfies the diamond property and contains a Church-Rosser subcalculus (i.e. the interpretation of control operators is to a certain degree independent of a specific evaluation strategy).    A standardization theorem is proved and the correctness of the calculus is demonstrated by showing its correspondence with the original machine semantics. As far as reasoning with the calculus is concerned, its soundness is proved, but it is shown that the calculus is incomplete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$B1FD73AA-0AF9-4BDE-9F5E-677D1F8C5E16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$25C031AF-081A-43B5-8BAA-B021FF319A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$5FB72D90-B841-4D7E-9545-5FD6530F8FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$390B088F-32E9-4C34-968C-707E08FF019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$809FCFAB-A82E-44F9-8439-D45CE74355AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77711e4491e9005c36723cc00711a471c3e417f3","datavalue":{"value":"4047684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$8D6869FD-A75F-4323-9E8E-467A6001CFC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$97D90116-4CCB-4ADC-99F7-A9A688B9D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$802C6CFE-7F54-4CA1-80AE-D4C62D2CA4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$2F0BC5B5-90A6-49C3-919F-1E4CB7251353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0453cea3c2a52da081c3dfb0eab13aef785af34c","datavalue":{"value":"reduction machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$050CF59C-81CA-43C7-B9D8-2E759D2E46BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07211cbeccf923f58b5c1e5c57fec32b5bad94e9","datavalue":{"value":"compiler optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$0AC88AA6-BCB0-449D-A886-1D705EED7D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$523CB381-65B3-4F39-A702-862E5BDC2E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101435$239DCBE3-2931-400B-9601-3AA0255EF56B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$06222745-81DC-4078-A3DC-E85B12A2DD2C","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":"Q1101435$328AB60B-2C8D-4C0A-B9FD-ECCE51FC26B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f026632cab7fb7f12bc230169f5e37299498ae25","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90109-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101435$4AD1EFC0-52E4-4FC8-8A04-6E82CECBBCC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce99e9010702b1a9babe67bd8f5d1f608cd6d701","datavalue":{"value":"W2054299141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101435$9EDA12A5-BAC5-4126-8BF1-723EE3936484","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$D67F28E7-4A0D-4C98-84B2-43AD1FF8CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77298e6b49c7e7fa4a628e75105c00c3bdc22b68","datavalue":{"value":{"entity-type":"item","numeric-id":3339256,"id":"Q3339256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$CE241126-C68A-4396-995E-CE8301BD90C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47a6f5cda6cad8f5dc38c8d14ab61abffef90a9","datavalue":{"value":{"entity-type":"item","numeric-id":3768363,"id":"Q3768363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$4E009831-A073-4847-A466-5821916F485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"831a310d5e00e37b23551a33f5b5cdd97d1d2395","datavalue":{"value":{"entity-type":"item","numeric-id":4727393,"id":"Q4727393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$DC68F19A-909A-4AA5-9771-7681CB43440D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$D6714F02-47A5-424F-A19B-D9F4BACB420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6774fef36684106218701017c86fba6fa8a59db5","datavalue":{"value":{"entity-type":"item","numeric-id":3863054,"id":"Q3863054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$3DC835C6-0AB6-4040-B3F1-8984ADB599B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05717aad3207eaa1d40ae398a6144f525b8ebd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5639702,"id":"Q5639702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$83ADF8C6-DC4F-403C-A789-8588301F372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$887E4ADE-3B74-4497-AFF5-3B3239A10C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464b1870bccf13dbc5906b6fdcbedf4f91a8bf40","datavalue":{"value":{"entity-type":"item","numeric-id":5588137,"id":"Q5588137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$7B7A66CB-95BC-44D1-8A6D-D150E5C17DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aae076fad27579dd47a99679b5cf9e3276f4125","datavalue":{"value":{"entity-type":"item","numeric-id":5531462,"id":"Q5531462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$C3CCE08B-76B5-4A90-851E-D6AABCCCC546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2e4f24d0cbbeb99bfdea518dac864a70fefd8","datavalue":{"value":{"entity-type":"item","numeric-id":1566886,"id":"Q1566886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$E1AC2DE0-CFAE-4FD7-BDD3-713D5A3BF4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5772b6b6cbda19f7d63daf6ff0f57c5ea0875bde","datavalue":{"value":{"entity-type":"item","numeric-id":1290339,"id":"Q1290339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$C7FCBB27-4930-4425-B60E-391CF4F26784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dce18fdb6050f22c7442e84a757c8a261022bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3867165,"id":"Q3867165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101435$CC717BB6-EB38-4082-9795-E3FD16057FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3006700a383e8585dd0df62b3cd61ee57d281c1","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53939b89790df3fd3f682a83c48d898817e0a1b3","datavalue":{"value":{"amount":"+0.8219825029373169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101435$D98DC943-D3D4-4752-B6A9-DFA3B11E2352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01acc2b7ea561deb99859defa1f6f5298ff68d9","datavalue":{"value":{"entity-type":"item","numeric-id":3189795,"id":"Q3189795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0b7c6ae70dc130f09887dc8f864a56c9b3e97b","datavalue":{"value":{"amount":"+0.8010548949241638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101435$4283C83D-46B8-4F8A-BE94-5E14A89CB6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f621108337d1ddb82eb483646aadd5cbb7fdd2d","datavalue":{"value":{"amount":"+0.7948423027992249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101435$2B7FC276-1F39-42E2-AD95-E99998298B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b5e109543a0e7d83a67d5a3f64861c802c5028","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e424f9ba22c371c23c163af5c4905c42685a8b0","datavalue":{"value":{"amount":"+0.7917772531509399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101435$5ED0A80B-7BD9-4559-B1B3-9E7740F2BF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c012cc2720a25ff25b8184c7c2fdbd626d659a","datavalue":{"value":{"entity-type":"item","numeric-id":3184753,"id":"Q3184753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c08f02fc0dc43cf82f8b211ddfc6c209a8277d","datavalue":{"value":{"amount":"+0.79176926612854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101435$6CFC1A1C-0798-41DC-AA8D-A338973E6130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactic theory of sequential control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_syntactic_theory_of_sequential_control"}}}}}