Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Collage induction: proving properties of logic programs by program synthesis
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
1994 (engelsk)Licentiatavhandling, monografi (Annet vitenskapelig)
Abstract [en]

The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which treats mathematical induction as a natural generalization of the CUT-rule. Conceptually the rule can be understood as follows: To prove an implication G ? D, an inductively defined property p is constructed such that G ? p. The implication p ? D is then proved by induction according to the definition of p.Secondly, a program synthesis method for extracting programs from proofs in Extended Execution, is generalized to allow the relations defining p to be synthesized from the proof of an induction lemma.

sted, utgiver, år, opplag, sider
Linköping: Univ. , 1994. , s. 124
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 464
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-163437Lokal ID: LiU-Tek-Lic-1994:50ISBN: 917871463X (tryckt)OAI: oai:DiVA.org:liu-163437DiVA, id: diva2:1391659
Tilgjengelig fra: 2020-02-05 Laget: 2020-02-05 Sist oppdatert: 2020-02-05bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Søk i DiVA

Av forfatter/redaktør
Olsén, Hans
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 2 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf