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

Serveur d'exploration sur Pittsburgh - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Langage programmation »
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.
Langage naturel < Langage programmation < Langage visuel  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
002300 (2012) SPECIAL ISSUE APLOS 2011
003F81 (2012) Adrian Schupbach [Canada] ; Andrew Baumann [Canada] ; Timothy Roscoe [Canada] ; Simon Peter [Canada]A Declarative Language Approach to Device Configuration
004283 (2011) Robert J. Simmons [États-Unis] ; Frank Pfenning [États-Unis]Logical approximation for program analysis
004953 (1983) J. P. Kearns ; M. L. SoffaThe implementation of retention in a coroutine environment

List of associated Author.i

Nombre de
documents		Descripteur
1Adrian Schupbach
1Andrew Baumann
1Frank Pfenning
1J. P. Kearns
1M. L. Soffa
1Robert J. Simmons
1Simon Peter
1Timothy Roscoe

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Langage programmation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Langage programmation" \
         | 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/Amérique
   |area=    PittsburghV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Langage programmation
}}
Wicri

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021