Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

67 résultats
Page :
triés par
Image document

Sémantique naturelle: spécifications et preuves

 Joëlle Despeyroux
RR-3359, INRIA. 1998
Rapport inria-00073330v1
Image document

Proving and Computing: a Certified Version of the Buchberger's Algorithm

 Laurent Théry
RR-3275, INRIA. 1997
Rapport inria-00073414v1
Image document

The CtCoq System: Design and Architecture

 Yves Bertot
RR-3540, INRIA. 1998
Rapport inria-00073145v1
Image document

Integrating Natural Semantics and Attribute Grammars : the Minotaur System

 Isabelle Attali , Didier Parigot
[Research Report] RR-2339, INRIA. 1994
Rapport inria-00077110v1
Image document

A debugging environment for functional programming in CENTAUR

 Samuel Kamin
[Research Report] RR-1265, INRIA. 1990
Rapport inria-00075294v1
Image document

Proof by pointing

 Yves Bertot , Gilles Kahn , Laurent Théry
University of Cambridge. 1993
Rapport hal-03957702v1
Image document

An Operational Semantics for the Eiffel Language

 Isabelle Attali , Denis Caromel , Sidi Ould Ehmety
RR-2732, INRIA. 1995
Rapport inria-00073962v1
Image document

A Modal Lambda Calculus with Iteration and Case Constructs

 Pierre Leleu
RR-3322, INRIA. 1997
Rapport inria-00073367v1
Image document

A language and an Integrated Environment for Program Transformations

 Isabelle Attali , Valérie Pascual , Christophe Roudet
RR-3313, INRIA. 1997
Rapport inria-00073376v1
Image document

Interactive Theorem Proving with Temporal Logic

 Amy Felty , Laurent Théry
RR-2804, INRIA. 1996
Rapport inria-00073886v1
Image document

ParaGraph : an interactive environment for parallelizing FORTRAN programs

 Bernard Dion , Laurent Angeli , Angel Bravo Lastra
[Research Report] RR-1920, INRIA. 1993
Rapport inria-00074754v1
Image document

A simple applicative language: Mini-ML

 Dominique Clement , Joelle Despeyroux , Thierry Despeyroux , Gilles Kahn
[Research Report] RR-0529, INRIA. 1986
Rapport inria-00076025v1
Image document

Un constructeur d'arbres de preuve dirigé par des tactiques

 Laurent Hascoet
[Rapport de recherche] RR-0770, INRIA. 1987
Rapport inria-00075782v1
Image document

Theory meets efficiency : a new implementation for proof trees

 Laurent Hascoet
[Research Report] RR-1109, INRIA. 1989
Rapport inria-00075450v1
Image document

Proof of translation in natural semantics

 Joelle Despeyroux
[Research Report] RR-0514, INRIA. 1986, pp.13
Rapport inria-00076040v1
Image document

Program extraction in a logical framework setting

 Penny Anderson
[Research Report] RR-2261, INRIA. 1994
Rapport inria-00074410v1
Image document

THEO : an interactive proof development system

 Joelle Despeyroux
[Research Report] RT-0116, INRIA. 1990, pp.17
Rapport inria-00070050v1
Image document

TYPOL : a formalism to implement natural semantics

 Thierry Despeyroux
[Research Report] RT-0094, INRIA. 1988, pp.56
Rapport inria-00070072v1
Image document

ASHTEX : An interactive previewer for TEX or the marvellous world of ASHTEX

 Laurence Gallot-Rideau
[Research Report] RT-0075, INRIA. 1986, pp.9
Rapport inria-00070085v1
Image document

Formalizing Stalmarck's algorithm in Coq

 Pierre Letouzey , Laurent Théry
Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, 2000, Portland, United States. pp.388
Communication dans un congrès hal-00150915v1
Image document

Polymorphism is not set-theoretic

 John C. Reynolds
[Research Report] RR-0296, INRIA. 1984
Rapport inria-00076261v1
Image document

Distributed Architecture for Programming Environments

 Anne-Marie Dery , Laurence Rideau
RR-2918, INRIA. 1996
Rapport inria-00073779v1
Image document

Reasoning with Executable Specifications

 Yves Bertot , Ranan Fraer
RR-2780, INRIA. 1996
Rapport inria-00073912v1
Image document

Sophtalk tutorials

 Ian Jacobs , Janet Bertot
[Technical Report] RT-0149, INRIA. 1993, pp.65
Rapport inria-00070019v1
Image document

A distributed architecture for programming environments

 Dominique Clement
[Research Report] RR-1266, INRIA. 1990
Rapport inria-00075293v1
Image document

Functional programming and the logical variable

 G. Lindstrom
[Research Report] RR-0357, INRIA. 1985
Rapport inria-00076200v1
Image document

Executable specification of static semantics

 Thierry Despeyroux
[Research Report] RR-0295, INRIA. 1984, pp.19
Rapport inria-00076262v1
Image document

Getting faster tex output

 Janet Incerpi , Francis Montagnac
[Research Report] RT-0071, INRIA. 1986, pp.20
Rapport inria-00070089v1
Image document

Interactive Programming Environment for ML

 Laurence Rideau , Laurent Théry
RR-3139, INRIA. 1997
Rapport inria-00073550v1
Image document

Environnement de programmation pour ASN.1

 Anne-Marie Dery , Christian Huitema , William Maille
[Rapport de recherche] RR-1847, INRIA. 1993
Rapport inria-00074825v1
Page :