K7PL
K7PL
Table of Contents
1.
PROLÉGOMÈNE
2.
FONDEMENTS CATÉGORIQUES
3.
THÉORIE DES TYPES
4.
THÉORIE DES AUTOMATES
5.
SYNTAXE ET MISE EN PRATIQUE
6.
COMPILATION ET VÉRIFICATION
7.
INTÉGRATION PRATIQUE ET CAS D'USAGE
8.
REFERENCES DU DOCUMENT
A. CODES D'ERREUR
B. SPECIFICATION LSP & REPL
C. SUSHI - The K7PL's (fake)Shell
D. SUGOI
4.
THÉORIE DES AUTOMATES
4.1.
Introduction
4.2.
Échelle locale
4.3.
Échelle de l'acteur
4.4.
Modèles de mémoire
4.5.
Échelle du système
4.6.
Calcul de processus sous-jacent
4.7.
Sémantique opérationnelle
4.8.
Le système de sortes du métalangage
4.9.
Ce que chaque preuve ouverte y puise
Source Code
Report Issues
←
3.6. Règles de typage
4.1. Introduction
→
4. THÉORIE DES AUTOMATES
🔗
4.1.
Introduction
4.2.
Échelle locale
4.3.
Échelle de l'acteur
4.4.
Modèles de mémoire
4.5.
Échelle du système
4.6.
Calcul de processus sous-jacent
4.7.
Sémantique opérationnelle
4.8.
Le système de sortes du métalangage
4.9.
Ce que chaque preuve ouverte y puise
←
3.6. Règles de typage
4.1. Introduction
→