L'informatique compilers

1

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

3

Analyseur de descente récursif avec retour en arrière pour la grammaire

Quelqu'un peut-il m'éclairer pourquoi un analyseur de descente récursive avec retour arrière qui essaie les productions et (dans cet ordre) ne reconnaît pas le langage formé par la grammaire .S→ un SuneS→uneSuneS \rightarrow aSaS→ a aS→uneuneS \rightarrow aaS→ un Sa | a a S→uneSune | uneuneS \rightarrow aSa\ |\ aa …

10 context-free formal-grammars compilers parsers

3

Premiers pas avec l'analyse de programme

Je recherche des ressources pour débuter avec l'analyse de programme . Le seul livre que j'ai trouvé sur le sujet est le livre Nielson & Nielson . En dehors de cela, il semble qu'il n'y ait que des livres de "compilateur" où "l'analyse de programme" serait un chapitre, ou quelque …

10 reference-request compilers semantics

2

Nombre minimum théorique de registres pour un ordinateur moderne?

J'ai suivi un cours sur les compilateurs dans mes études de premier cycle dans lequel nous avons écrit un compilateur qui compile les programmes source dans un langage Java similaire à un langage d'assemblage de jouets (pour lequel nous avions un interprète). Dans le projet, nous avons fait quelques hypothèses …

10 compilers computer-architecture

1

Étant donné une chaîne et un CFG, quels caractères peuvent suivre la chaîne (dans les formes sententielles du CFG)?

Que l'ensemble des terminaux et N l'ensemble des symboles non-terminaux de la grammaire hors-contexte G .ΣΣ\SigmaNNNggG Disons que j'ai une chaîne telle que où et sont les formes phrastiques de .a ∈ ( Σ ∪ N)+une∈(Σ∪N)+a \in (\Sigma \cup N)^+x , y ∈ ( Σ ∪ N ) ∗ S …

10 algorithms context-free formal-grammars compilers

2

Compiler un langage de programmation avec lui-même

Je suis étudiant en informatique. Je veux créer mon propre langage de programmation (un langage de base avec peu d'instructions). Je sais faire un analyseur syntaxique, je l'ai déjà fait en Perl. Dans un article, j'ai lu quelque chose sur le compilateur, un compilateur se fait en soi. Par exemple, …

10 programming-languages compilers

1

Qu'est-ce qu'un exemple non artificiel de vérification de type statique trop conservatrice?

Dans Concepts in Programming Languages , John Mitchell écrit que la vérification de type statique est nécessairement conservatrice (trop stricte) en raison du problème d'arrêt. Il donne comme exemple: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Quelqu'un peut-il fournir une réponse non artificielle qui serait vraiment une préoccupation pratique? Je comprends …

9 programming-languages compilers type-checking

3

Équivalence de l'analyse du flux de données, de l'interprétation abstraite et de l'inférence de type?

@ La réponse de Babou à une question récente me rappelle qu'à un moment donné, je pense avoir lu un article sur l'équivalence (en termes à la fois des faits qui peuvent être inférés ou prouvés et de la complexité temporelle de l'exécution de l'algorithme d'inférence) de l'analyse du flux …

9 reference-request compilers type-inference program-optimization

3

Diagramme en T du compilateur croisé

J'étudie Bootstrapping de Red Dragon Book Compilers et j'ai trouvé le diagramme en T pour le compilateur croisé assez déroutant. Je ne peux pas comprendre ce que l'on entend par «exécuter compilateur1 à compilateur2». Quelqu'un peut-il fournir une meilleure explication, une analogie ou un exemple pour se rapporter à un …

9 compilers terminology

1

Représentation de la concaténation au niveau du type

J'aimerais en savoir plus sur la programmation concaténative à travers la création d'un petit langage simple, basé sur la pile et suivant le paradigme concaténatif. Malheureusement, je n'ai pas trouvé beaucoup de ressources concernant les langages concaténatifs et leur mise en œuvre, alors excusez-moi à l'avance pour ma possible naïveté. …

8 logic programming-languages compilers type-theory type-checking

2

Rédacteur d'assembly vs compilateur dans l'architecture VLIW

J'ai lu cette phrase dans un livre: Dans l'architecture VLIW, le compilateur / et / ou l'assembleur rédige des instructions qui peuvent être exécutées en parallèle. Quelle est la différence entre le rédacteur d'assemblage et le compilateur? Un rédacteur d'assemblage signifierait-il également la même chose qu'un assembleur?

8 compilers assembly

4

Créons-nous un langage de programmation en écrivant un compilateur?

Dis, je voulais créer mon propre langage de programmation. En supposant que j'ai pris toutes les décisions sur la façon dont je veux qu'il ressemble et agisse, ai-je juste besoin d'écrire un compilateur pour cela? Par exemple, le code Java de haut niveau est-il autre chose que du texte et …

8 programming-languages compilers

1

Des compilateurs LISP / Scheme de qualité pour concurrencer C / C ++

Théoriquement parlant, est-il possible d'avoir un compilateur Lisp / Scheme capable de produire du code pouvant rivaliser avec le C compilé, disons dans une marge de 15-25%? Lors de mes tests, j'ai constaté que la gamme actuelle de compilateurs (Bigloo, SBCL, Gambit, Chicken, etc.) est 20 à 50 fois plus …

8 optimization compilers

3

Dériver l'expression régulière pour le style C / ** / commentaires

Je travaille sur un analyseur pour un langage de style C, et pour cet analyseur, j'ai besoin de l'expression régulière qui correspond au style C / ** / commentaires. Maintenant, j'ai trouvé cette expression sur le web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Cependant, comme vous pouvez le voir, c'est une expression plutôt désordonnée, et …

8 compilers parsers regular-languages

Questions marquées «compilers»