Questions marquées «reference-request»

Questions demandant des articles dans la littérature sur des questions spécifiques et étroites.

1
Quelles classes de structures de données peuvent être rendues persistantes?
Les structures de données persistantes sont des structures de données immuables. Les opérations sur eux renvoient une nouvelle "copie" de la structure de données, mais modifiée par l'opération; l'ancienne structure de données reste cependant inchangée. L'efficacité est généralement obtenue en partageant certaines des données sous-jacentes et en évitant la copie …
2
Algorithmes de vérification de type
Je commence une recherche bibliographique personnelle sur les algorithmes de vérification de type et souhaite quelques conseils. Quels sont les algorithmes, stratégies et techniques générales de vérification de type les plus couramment utilisés? Je m'intéresse particulièrement aux algorithmes de vérification de type complexes qui ont été implémentés dans des langages …
3
Comment lire les règles de frappe?
J'ai commencé à lire de plus en plus d'articles de recherche linguistique. Je trouve cela très intéressant et un bon moyen d'en savoir plus sur la programmation en général. Cependant, il y a généralement une section avec laquelle je me bats toujours (prenez par exemple la troisième partie de cela …
3
Existe-t-il une MT qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable?
Existe-t-il une machine de Turing qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable pour une raison quelconque? Je me demande si cette question a été étudiée. Remarque: «non démontrable» pourrait signifier un système de preuve «limité» (qui au sens faible pense que la réponse doit être …
1
Algorithme de temps et de polyspace pour déterminer l'intersection principale de n fonctions monotones discrètes
Quelques informations: je suis informaticien spécialisé dans les loisirs et ingénieur logiciel. Donc, pardonnez si cette invite semble quelque peu hors du champ gauche - je joue régulièrement avec des simulcres mathématiques et des problèmes ouverts quand je n'ai rien de mieux à faire. En jouant avec l' hypothèse de …
3
Étudier la théorie du langage de programmation
Je suis récemment devenu extrêmement intéressé par la compréhension et la démonstration d'aspects des langages de programmation (fonctionnels). Cependant, alors que je plonge plus profondément, des choses comme calcul, la théorie des catégories et la sémantique dénotationnelle sont un peu difficiles à comprendre sans explication appropriée.λλ\lambda J'ai lu SICP (un …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.