A Preliminary Type- and Control-Flow Analysis for System F$$_\omega $$
0Citations signalées, ce qui n’est pas une note de qualité
1Institutions déclarées
1Pays d’affiliation déclarés
Rattachement africain : us. Niveau de preuve : code pays fourni par la source.
Résumé indisponible. Les résultats de l’étude ne doivent pas être déduits de son seul titre.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- A Preliminary Type- and Control-Flow Analysis for System F$$_\omega $$
- Date Crossref
- 01/01/2025
- Éditeur
- Springer Nature Switzerland
- Type
- book-chapter
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
Rochester Institute of Technology pays non établi dans la noticeUniversité ou école supérieure
Rochester Institute of Technology.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.
Les sujets associés
Logic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization Techniques