Perguntas com a marcação «history»

Perguntas sobre gênese e desenvolvimento da ciência da computação como disciplina científica e suas aplicações.

27
Por que precisamos de linguagem assembly?

Nós escrevemos principalmente programas em linguagem de alto nível. Então, enquanto estudava, me deparei com a linguagem assembly. Portanto, um assembler converte a linguagem assembly em linguagem de máquina e um compilador faz o mesmo com a linguagem de alto nível. Achei que a linguagem assembly...

15
Quem são os legisladores de Paxos?

No artigo seminal de sistemas distribuídos The Part Time Parliament (o protocolo Paxos), Leslie Lamport nomeia legisladores ficcionais que estão envolvidos no protocolo do parlamento Paxon. De acordo com este artigo , ele observa que: Dei aos legisladores gregos os nomes dos cientistas da...

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...