Matches in SemOpenAlex for { <https://semopenalex.org/work/W53008362> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W53008362 abstract "We present a general framework (a programming calculus) for the specification, verification and synthesis of programs. The underlying programming paradigm is similar in spirit to logic programming but based on the theory of partial inductive definitions instead of predicate logic. Within this framework we give criteria for the correctness of programs and outline a methodology for using these criteria to perform verifications and syntheses. The programming calculus permits us to use an arbitrary specification language, as long as this language itself can be defined within our framework. The program language is based on partial inductive definitions. Such definitions can be regarded as sets of an extension to Horn clauses of logic, so traditional logic (pure Prolog) programs are included as a special case. Since the theory of partial inductive definitions is not widely known, we include an introduction to it. This introduction can also be read by itself, without any interest in the programming calculus." @default.
- W53008362 created "2016-06-24" @default.
- W53008362 creator A5002788951 @default.
- W53008362 creator A5048833965 @default.
- W53008362 date "1988-01-01" @default.
- W53008362 modified "2023-09-25" @default.
- W53008362 title "A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions)" @default.
- W53008362 hasPublicationYear "1988" @default.
- W53008362 type Work @default.
- W53008362 sameAs 53008362 @default.
- W53008362 citedByCount "0" @default.
- W53008362 crossrefType "journal-article" @default.
- W53008362 hasAuthorship W53008362A5002788951 @default.
- W53008362 hasAuthorship W53008362A5048833965 @default.
- W53008362 hasConcept C128838566 @default.
- W53008362 hasConcept C146206909 @default.
- W53008362 hasConcept C189790780 @default.
- W53008362 hasConcept C199343813 @default.
- W53008362 hasConcept C199360897 @default.
- W53008362 hasConcept C2777686260 @default.
- W53008362 hasConcept C34165917 @default.
- W53008362 hasConcept C41008148 @default.
- W53008362 hasConcept C50033165 @default.
- W53008362 hasConcept C55439883 @default.
- W53008362 hasConcept C71924100 @default.
- W53008362 hasConcept C81721847 @default.
- W53008362 hasConcept C96315309 @default.
- W53008362 hasConceptScore W53008362C128838566 @default.
- W53008362 hasConceptScore W53008362C146206909 @default.
- W53008362 hasConceptScore W53008362C189790780 @default.
- W53008362 hasConceptScore W53008362C199343813 @default.
- W53008362 hasConceptScore W53008362C199360897 @default.
- W53008362 hasConceptScore W53008362C2777686260 @default.
- W53008362 hasConceptScore W53008362C34165917 @default.
- W53008362 hasConceptScore W53008362C41008148 @default.
- W53008362 hasConceptScore W53008362C50033165 @default.
- W53008362 hasConceptScore W53008362C55439883 @default.
- W53008362 hasConceptScore W53008362C71924100 @default.
- W53008362 hasConceptScore W53008362C81721847 @default.
- W53008362 hasConceptScore W53008362C96315309 @default.
- W53008362 hasLocation W530083621 @default.
- W53008362 hasOpenAccess W53008362 @default.
- W53008362 hasPrimaryLocation W530083621 @default.
- W53008362 hasRelatedWork W1503676575 @default.
- W53008362 hasRelatedWork W1505437623 @default.
- W53008362 hasRelatedWork W1523736693 @default.
- W53008362 hasRelatedWork W1564283617 @default.
- W53008362 hasRelatedWork W1575848714 @default.
- W53008362 hasRelatedWork W1645062691 @default.
- W53008362 hasRelatedWork W1814622354 @default.
- W53008362 hasRelatedWork W193973472 @default.
- W53008362 hasRelatedWork W1981587150 @default.
- W53008362 hasRelatedWork W1983328110 @default.
- W53008362 hasRelatedWork W2022418772 @default.
- W53008362 hasRelatedWork W2081656312 @default.
- W53008362 hasRelatedWork W2094158590 @default.
- W53008362 hasRelatedWork W2142436113 @default.
- W53008362 hasRelatedWork W2142995137 @default.
- W53008362 hasRelatedWork W2474384703 @default.
- W53008362 hasRelatedWork W2548234664 @default.
- W53008362 hasRelatedWork W3000704683 @default.
- W53008362 hasRelatedWork W3016159912 @default.
- W53008362 hasRelatedWork W43222467 @default.
- W53008362 isParatext "false" @default.
- W53008362 isRetracted "false" @default.
- W53008362 magId "53008362" @default.
- W53008362 workType "article" @default.