Informatique théorique imperative-programming

12

Quelle est la base théorique de la programmation impérative?

La programmation fonctionnelle a une base théorique en calcul lambda et en logique combinatoire . En tant que personne impliquée dans le calcul statistique, je trouve ces concepts très utiles pour la modélisation. Existe-t-il une base mathématique équivalente pour la programmation impérative , ou s'agit-il simplement d'une application matérielle pratique …

48 imperative-programming pl.programming-languages

2

Quel est le modèle folk de la logique linéaire?

L'application la plus courante des types linéaires en PL est probablement de les utiliser pour donner des langages qui contrôlent l'alias (c'est-à-dire qu'une valeur linéaire a un seul pointeur vers elle, plus ou moins). Mais il y a un léger décalage entre cet usage et les modèles dénotatifs typiques de …

23 pl.programming-languages ct.category-theory imperative-programming denotational-semantics linear-logic

4

Comment les effets secondaires sont-ils gérés en sémantique?

Dans la section "Introduction aux langages de programmation" d' Anthony Aaby sur la sémantique , il fait l'observation suivante: Une grande partie du travail dans la sémantique des langages de programmation est motivée par les problèmes rencontrés pour essayer de construire et de comprendre des programmes impératifs - des programmes …

19 imperative-programming semantics big-picture

4

En quoi les langages impératifs sont-ils plus différents les uns des autres que les langages fonctionnels?

Je lis The Implementation of Functional Programming Language de Simon Peyton Jones et il y a une déclaration qui m'a un peu surpris (à la page 39): Dans une bien plus grande mesure que pour les langages impératifs, les langages fonctionnels sont en grande partie des variations syntaxiques les uns …

17 functional-programming semantics imperative-programming

3

Inférence de type pour les déclarations impératives autres que l'affectation

Dans ma recherche d'articles de recherche sur les systèmes de types pour les langages impératifs, je ne trouve que des solutions pour un langage avec des références mutables mais sans véritables structures de contrôle impératif telles que des opérateurs composés, des boucles ou des conditionnelles. Il n'est donc pas clair …

10 reference-request pl.programming-languages type-theory type-inference imperative-programming

Questions marquées «imperative-programming»