Please use this identifier to cite or link to this item:
doi:10.22028/D291-38571 | Notice: | temporarily not accessible for legal reasons |
| Title: | A logic for recursive programs |
| Author(s): | Werner, Stephan |
| Language: | English |
| Year of Publication: | 1985 |
| Place of publication: | Karlsruhe |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | GOLDBLATT'S program logic is extended by allowing declarations of local variables and mutually recursive procedures. Standard model conditions are formulated to capture the semantics of the extended programming language. Axioms and an additional infinitary inference rule are given for the new constructs. GOLDBLATT's completeness result is then extended. |
| Link to this record: | urn:nbn:de:bsz:291--ds-385712 hdl:20.500.11880/35045 http://dx.doi.org/10.22028/D291-38571 |
| Date of registration: | 30-Jan-2023 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-MEMO_85-05-IB_Werner_A-LOGIC-FOR-RECURSIVE-PROGRAMS.pdf | 96,65 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.