Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-38571 | HINWEIS: | Dieses Dokument ist aus rechtlichen Gründen vorübergehend gesperrt und kann nur von berechtigten Personen geöffnet werden. |
| Titel: | A logic for recursive programs |
| VerfasserIn: | Werner, Stephan |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1985 |
| Erscheinungsort: | Karlsruhe |
| DDC-Sachgruppe: | 004 Informatik |
| Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
| 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 zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-385712 hdl:20.500.11880/35045 http://dx.doi.org/10.22028/D291-38571 |
| Datum des Eintrags: | 30-Jan-2023 |
| Fakultät: | SE - Sonstige Einrichtungen |
| Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professur: | SE - Sonstige |
| Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| SEKI-MEMO_85-05-IB_Werner_A-LOGIC-FOR-RECURSIVE-PROGRAMS.pdf | 96,65 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.