MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Logic, programming, and type systems
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

928 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
928 travaux dans la cohorte · sur 4 299 418page 1 sur 19

Les étiquettes couvrent 1 des 928 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 928 des 928 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le volet Gemma est une étiquette directe du modèle pour chaque travail (titre seulement); le volet Codex est un classifieur distillé et calibré. Le mode candidate est l'union; le consensus est l'intersection.

affsans résuménon étiqueté
Scaling Java Points-to Analysis Using Spark
Ondřej Lhoták, Laurie Hendren
2003· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
430
citations
afffundsans résuménon étiqueté
The TXL source transformation language
James R. Cordy
2006· article· en· Science of Computer Programming· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
358
citations
affnon étiqueté
A brief history of just-in-time
John Aycock
2003· review· en· ACM Computing Surveys· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
333
citations
affnon étiqueté
Revised <sup>6</sup> Report on the Algorithmic Language Scheme
Michael Sperber, R. Kent Dybvig, Matthew Flatt, ANTON VAN STRAATEN, Robby Findler, Jacob Matthews
2009· article· en· Journal of Functional Programming· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
325
citations
affnon étiqueté
Practical virtual method call resolution for Java
Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Étienne Gagnon +1 autres
2000· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
290
citations
affnon étiqueté
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka
2008· article· en· ACM Transactions on Computational Logic· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
263
citations
affsans résuménon étiqueté
Theorem Proving Modulo
Gilles Dowek, Thérèse Hardin, Claude Kirchner
2003· article· en· Journal of Automated Reasoning· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
214
citations
affnon étiqueté
A.: Why3: Shepherd your herd of provers
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
2011· preprint· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
186
citations
affnon étiqueté
Kleene algebra with domain
Jules Desharnais, Bernhard Möller, Georg Struth
2006· article· en· ACM Transactions on Computational Logic· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
173
citations
afffundnon étiqueté
Pick your contexts well
Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták
2011· article· en· ACM SIGPLAN Notices· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
167
citations
affnon étiqueté
General Recursion via Coinductive Types
Venanzio Capretta
2005· article· en· Logical Methods in Computer Science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
140
citations
affaboutnon étiqueté
The knowledge complexity of interactive proof-systems
Shafi Goldwasser, Silvio Micali, Chales Rackoff
2019· book-chapter· en· Association for Computing Machinery eBooks· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
134
citations
affsans résuménon étiqueté
DSL Implementation in MetaOCaml, Template Haskell, and C++
Krzysztof Czarnecki, John T. O’Donnell, Jörg Striegnitz, Walid Taha
2004· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
112
citations
affsans résuménon étiqueté
Invariant Synthesis for Combined Theories
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
2007· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
103
citations
fundno affnon étiqueté
A new proof rule for almost-sure termination
Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen
2017· article· en· Proceedings of the ACM on Programming Languages· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
98
citations
afffundnon étiqueté
Differential categories
Richard Blute, J.R.B. Cockett, R. A. G. Seely
2006· article· en· Mathematical Structures in Computer Science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
93
citations
affnon étiqueté
Modelling general recursion in type theory
Ana Bove, Venanzio Capretta
2005· article· en· Mathematical Structures in Computer Science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
85
citations
affnon étiqueté
Generic ownership for generic Java
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
2006· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
84
citations
afffundnon étiqueté
Foundations of Typestate-Oriented Programming
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
2014· article· en· ACM Transactions on Programming Languages and Systems· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
77
citations
affnon étiqueté
Wellfounded recursion with copatterns
Andreas Abel, Brigitte Pientka
2013· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
71
citations
affsans résuménon étiqueté
Higher type recursion, ramification and polynomial time
Stephen J. Bellantoni, Karl-Heinz Niggl, Helmut Schwichtenberg
2000· article· en· Annals of Pure and Applied Logic· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
70
citations
afffundsans résuménon étiqueté
Hybrid
Amy Felty, Alberto Momigliano
2010· article· en· Journal of Automated Reasoning· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
70
citations
affsans résuménon étiqueté
The seven virtues of simple type theory
William M. Farmer
2007· article· en· Journal of Applied Logic· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
68
citations
affnon étiqueté
Practical virtual method call resolution for Java
Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Étienne Gagnon +1 autres
2000· article· en· ACM SIGPLAN Notices· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
66
citations
affsans résuménon étiqueté
Canonical conditional rewrite systems
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
2005· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
61
citations
affsans résuménon étiqueté
Practical Extensions to the IFDS Algorithm
Nomair A. Naeem, Ondřej Lhoták, Jonathan Rodriguez
2010· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
60
citations
affsans résuménon étiqueté
Characterization of Binary Constraint System Games
Richard Cleve, Rajat Mittal
2014· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
60
citations
affsans résuménon étiqueté
A calculus of functional BSP programs
Frédéric Loulergue, Gaétan Hains, Christian Foisy
2000· article· en· Science of Computer Programming· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
59
citations
affsans résuménon étiqueté
Coordination through Channel Composition
Farhad Arbab, Farhad Mavaddat
2002· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
58
citations
afffundnon étiqueté
PolyTOIL
Kim B. Bruce, Angela Schuett, R. H. van Gent, Adrian Fiech
2003· article· en· ACM Transactions on Programming Languages and Systems· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
55
citations
affsans résuménon étiqueté
A Reachability Predicate for Analyzing Low-Level Software
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamarić
2007· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
55
citations
fundno affsans résuménon étiqueté
A Framework for Optimizing Java Using Attributes
Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie Hendren, Clark Verbrugge
2001· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
55
citations
affsans résuménon étiqueté
Monotone simulations of non-monotone proofs
Albert Atserias, Nicola Galesi, Pavel Pudlák
2002· article· en· Journal of Computer and System Sciences· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
53
citations
affnon étiqueté
The development of CASC
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian Suttner
2002· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
53
citations

En coulisses: Sélection · Constats · À propos