Sökning: onr:"swepub:oai:DiVA.org:uu-411677" >
A programming calcu...
-
Eriksson, Lars-HenrikRISE,SICS,RISE - Research Institutes of Sweden, SICS
(författare)
A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions)
Förlag, utgivningsår, omfång ...
-
Kista, Sweden :Swedish Institute of Computer Science,1988
-
50 s.
-
electronicrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:uu-411677
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-411677URI
-
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22196URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:vet swepub-contenttype
-
Ämneskategori:rap swepub-publicationtype
Serie
-
SICS Research Report,0283-3638 ;R88:13
Anmärkningar
-
Original report number R88013.
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Hallnäs, LarsRISE,SICS,RISE - Research Institutes of Sweden, SICS
(författare)
-
RISESICS
(creator_code:org_t)
Internetlänk