Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
semantics of programming languages
Vertaling van "semantics of programming languages" in Frans
sémantique des langages de programmation
He also discovered the semantics of programming languages.
Par ailleurs, il découvre la sémantique des langages de programmation.
Abramsky has played a leading role in the development of game semantics, and its applications to the semantics of programming languages.
Abramsky a joué un rôle de premier plan dans le développement de la sémantique des jeux et de ses applications à la sémantique des langages de programmation.
Background Jean Goubault-Larrecq's first research work concerned automatic theorem proving, specification and formal proving of software and the semantics of programming languages.
Les premières recherches de Jean Goubault-Larrecq ont porté sur des questions de démonstration automatique de théorèmes, de spécification et de vérification formelle de logiciels, et de sémantique des langages de programmation.
His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages.
Sa collaboration avec Christopher Strachey dans les années 1970 a jeté les bases des approches modernes de la sémantique des langages de programmation.
We realised that existing descriptions of these algebra were not suited to relational semantics of programming languages.
Nous avons réalisé que les descriptions existantes de ces algèbres n'étaient pas adaptées à la sémantique relationnelle des programmes.
Rewriting is central in computation as well as deduction and is a crucial concept in semantics of programming languages as well as in proof theory.
La réécriture est un thème central aussi bien en calcul qu'en déduction, et est un concept crucial dans la sémantique de langages de programmation et dans la théorie de la preuve.
In this thesis we study a particular branch, combinatorial game theory (with two players), in order to profit from it in the very active field of formal semantics of programming languages.
Dans cette thèse nous étudions une branche particulière, la théorie des jeux combinatoires (à deux joueurs), pour en tirer bénéfice dans le domaine, très actif, des sémantiques formelles des langages de programmation.
Introduction, various language paradigms, Notions of syntax and semantics of programming languages; introduction to operational/natural semantics of functional and imperative languages.
Introduction, différents paradigmes de la langue, les notions de syntaxe et la sémantique des langages de programmation; introduction à la sémantique opérationnelle / naturelles des langages fonctionnels et impératifs.
CertiCrypt instruments the code-based game-based approach to cryptographic proofs, and builds upon many areas, including probability and complexity theory, algebra, semantics of programming languages, and program optimizations.
CertiCrypt instrumente l'approche des preuves par jeux, et repose sur de nombreux domaines comme les probabilités, la complexité, l'algèbre, la sémantique des langages de programmation, et les optimisations de programmes.
CertiCrypt is built upon the general-purpose proof assistant Coq, from which it inherits the ability to provide independently verifiable evidence that proofs are correct, and draws on many areas, including probability and complexity theory, algebra, and semantics of programming languages.
CertiCrypt est implémenté dans l'assistant à la preuve Coq, et repose sur de nombreux domaines, en particulier les probabilités, la complexité, l'algèbre, et la sémantique des langages de programmation.
Description: Joe Stoy's Denotational Semantics is the first (postgraduate level) book-length exposition of the mathematical (or functional) approach to the formal semantics of programming languages (in contrast to the operational and algebraic approaches).
Description: Premier livre portant sur l'approche mathématique (ou fonctionnelle) de la sémantique formelle des langages de programmation (contrairement aux approches opérationnelles et algébriques).
Formal Semantics of Programming Languages.
On définit des sémantiques formelles aux langages de programmation.
In 1971 Maurice Nivat created a "Formalised Semantics of Programming Languages" project.
Maurice Nivat crée en 1971 un projet « Sémantique formalisée des langages de programmation ».
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 17. Verstreken tijd: 51 ms.
