La logique dans la programmation : synthèse logique de programmes et langages de programmation logique : [thèse en partie soutenue sur un ensemble de travaux]

par Franz Bertram Fronhöfer

Thèse de doctorat en Informatique

Sous la direction de Philippe Jorrand.

Soutenue en 1989

à Grenoble I.N.P.G. .


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Comparaison de plusieurs approches de la synthese de programmes. Presentation de deux etudes visant d'une part a l'affinement du raisonnement logique en forme non normale et d'autre part a la transformation de la logique de premier ordre en clauses de horn. Un langage logique qui unifie le raisonnement deductif et la programmation procedurale est propose

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 231 p.
  • Annexes : 138 REF

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 89/INPG/0047
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.