teoria de llenguatges de programació oor Engels
teoria de llenguatges de programació
Vertalings in die woordeboek Katalaans - Engels
programming language theory
en
a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Des d'alguns punts de vista, la història de la teoria de llenguatges de programació precedeix fins i tot el desenvolupament dels mateixos llenguatges de programació.
Nobody' il hurt youWikiMatrix WikiMatrix
La teoria de llenguatges de programació és una branca de la informàtica que s'encarrega del disseny, implementació, anàlisi, caracterització i classificació de llenguatges de programació i els seus característiques.
What the fuck you care?WikiMatrix WikiMatrix
Hi ha diversos camps d'estudi que o bé cauen dins de la teoria de llenguatges de programació, o bé tenen una profunda influència en ella, molts d'aquests es superposen considerablement.
Helps to get rid of the bad blood.Been ten years since the last oneWikiMatrix WikiMatrix
Les connexions de Galois es poden usar per descriure moltes formes d'abstracció en la teoria d'interpretació abstracta de llenguatges de programació.
I said, get out of the car, now!WikiMatrix WikiMatrix
Alguns altres esdeveniments claus en la història de la teoria de llenguatges de programació des de llavors: A la dècada de 1950, Noam Chomsky va desenvolupar la Jerarquia de Chomsky en el camp de la lingüística, un descobriment que va impactar directament a la teoria de llenguatges de programació i altres branques de la informàtica.
Regeneration' s impossible at this pointWikiMatrix WikiMatrix
L'aplicació de la teoria de tipus com una disciplina als llenguatges de programació, liderada per Milner; aquesta aplicació ha conduït a un gran avanç en la teoria de tipus en qüestió d'anys.
I never saw that beforeWikiMatrix WikiMatrix
Alguns exemples de teories decidibles són: l'aritmètica de Presburger i els sistemes estàtics de tipus dels Llenguatges de programació.
I mean, if the Elephant Man had a sister, sheWikiMatrix WikiMatrix
L'any 1978 va aconseguir el Premi Turing "per tenir una influència clara en metodologies per a la creació de programari eficient i fiable, i per ajudar a la fundació de les següents branques importants de la informàtica: la teoria de l'anàlisi sintàctica, la semàntica de llenguatges de programació, la verificació automàtica de programes, la síntesi automàtica de programes, i l'anàlisi d'algorismes".
In fact, our tax relief package would deliver over $# billion in tax relief to Atlantic Canada every yearWikiMatrix WikiMatrix
Els mètodes formals es descriuen millor com l'aplicació d'una àmplia varietat de fonaments teòrics de la informàtica, en particular, els càlculs lògics, els llenguatges formals, la teoria d'autòmats, i la semàntica dels programes, així com els sistemes de tipus i els tipus de dades algebraiques a problemes d'especificació i verificació de programari i maquinari.
Carmen.That' s your dance name, right? What' s your real name?WikiMatrix WikiMatrix
En teoria de nombres, hom acostuma a escollir el residu amb signe positiu, però l'elecció dels llenguatges de programació depèn del llenguatge i dels signes de a i/o n.
To the other womenWikiMatrix WikiMatrix
Kay volia que el Dynabook encarnés les teories d'aprenentatge de Jerome Bruner i Seymour Papert, que havia estudiat amb el psicòleg del desenvolupament Jean Piaget i inventava el llenguatge de programació Logo, estava proposant.
Borg had a serve that was very goodWikiMatrix WikiMatrix
La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació.
And then that phone...... started to ring againWikiMatrix WikiMatrix
12 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.