FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Sémantique opérationnelle »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Sémantique observationnelle < Sémantique opérationnelle < Sémantique programme  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000124 (2011) G. Bonfante [France] ; J.-Y. Marion [France] ; J.-Y. Moyen [France]Quasi-interpretations a way to control resources
000226 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
000517 (2005) Dominique Larchey-Wendling [France]Bounding resource consumption with Gödel-Dummett logics
000625 (2004) Ralph Benzinger [États-Unis]Automated higher-order complexity analysis
000821 (2002) Dominique Larchey-Wendling [France]Combining proof-search and counter-model construction for deciding Gödel-Dummett logic
000877 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho cube
000895 (2001) Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Abderrahmane Aggoun [France]Network flow problems in constraint programming
000954 (2000) Proof-search in Type-theoretic Languages
000A05 (2000) I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis]Efficient resource management for linear logic proof search
000A18 (2000) Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Compiling and verifying security protocols
000B10 (1999) C. Piliere [France]A confluence result for a typed λ-calculus of exception handling with fixed-point
000B44 (1998) B. Gramlich [France]Modular aspects of rewrite-based specifications
000C08 (1997) A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [États-Unis, France] ; J. Meseguer [États-Unis]Specification and proof in membership equational logic

List of associated Author.i

Nombre de
documents		Descripteur
2Dominique Larchey-Wendling
1A. Bouhoula
1Abderrahmane Aggoun
1Alexander Bockmayr
1B. Gramlich
1C. Piliere
1Claude Kirchner
1Cyril Proch
1Dominique Cansell
1Dominique Méry
1F. Pfenning
1Florent Jacquemard
1G. Bonfante
1Horatiu Cirstea
1I. Cervesato
1J. Meseguer
1J. S. Hodas
1J.-P. Jouannaud
1J.-Y. Marion
1J.-Y. Moyen
1Laurent Vigneron
1Luigi Liquori
1Michaël Rusinowitch
1Nicolai Pisaruk
1Ralph Benzinger

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Sémantique opérationnelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Sémantique opérationnelle" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Sémantique opérationnelle
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022