Pure type systemNOTOC In the branches of mathematical logic known as proof theory and type theory, a pure type system (PTS), previously known as a generalized type system (GTS), is a form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these. The framework can be seen as a generalisation of Barendregt's lambda cube, in the sense that all corners of the cube can be represented as instances of a PTS with just two sorts. In fact, Barendregt (1991) framed his cube in this setting.
Copie d'un objetLa copie d'un objet est l'action, en programmation informatique, de reproduire ou copier les attributs d'un objet dans un autre objet. Un objet, le plus souvent est un type de donnée composée dans les langages de programmation orientée objet. Bien que dans les cas simples, copier un objet peut être fait en créant un nouvel objet vierge et en lui assignant tous les attributs de l'objet original, dans des situations plus complexes, cela ne mène pas toujours au résultat attendu.
Modula-3Modula-3 is a programming language conceived as a successor to an upgraded version of Modula-2 known as Modula-2+. While it has been influential in research circles (influencing the designs of languages such as Java, C#, Python and Nim) it has not been adopted widely in industry. It was designed by Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan (before at the Olivetti Software Technology Laboratory), Bill Kalsow and Greg Nelson at the Digital Equipment Corporation (DEC) Systems Research Center (SRC) and the Olivetti Research Center (ORC) in the late 1980s.
Unbounded nondeterminismIn computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitration of contention for shared resources while still guaranteeing that the request will eventually be serviced. Unbounded nondeterminism became an important issue in the development of the denotational semantics of concurrency, and later became part of research into the theoretical concept of hypercomputation.
Pointeur intelligentEn informatique, un pointeur intelligent (en anglais smart pointer) est un type abstrait de données qui simule le comportement d'un pointeur en y adjoignant des fonctionnalités telles que la libération automatique de la mémoire allouée ou la vérification des bornes. La gestion manuelle de la mémoire dans les langages utilisant les pointeurs est une source courante de bugs, en particulier de fuites de mémoire ou de plantages.
SerrureUne serrure est un mécanisme de fermeture (d’une porte, d’un véhicule) qui ne peut être ouvert que par une clef ou une combinaison correspondante. thumb|Coffre médiéval équipé d'une serrure à moraillon. L’invention de la serrure a suivi logiquement celle du verrou apparue lors de la sédentarisation au Néolithique. Les premières portes ont été sécurisées par l’invention du verrou, simple tige de bois (le pêne) poussée dans une ouverture dans le montant fixe (la gâche). Les Égyptiens inventèrent le verrou à loquet tombant apparu il y a .
SimulaSimula (Simple universal language) a été créé en 1962 sous la dénomination Simula I par Ole-Johan Dahl et Kristen Nygaard à partir d'Algol 60. Le langage évolua en 1967 sous le nom de Simula 67 en implantant le premier le modèle de classe de Hoare (Record Class, Hoare 1965). Il est donc le premier langage à classes et donc le père de tous les langages à classes tels que Smalltalk, C++, Java, ou encore Eiffel. Il inspira Dan Ingalls dans la conception de Smalltalk qui introduisit la programmation orientée objet.
DigicodeUn digicode est une serrure électronique qui s'ouvre en saisissant un code secret sur un pavé numérique, dispositif inventé par le Français Bob Carrière en 1970, inspiré d’un épisode de Popeye. Le mot désigne l'ensemble du dispositif : les composants électroniques cachés ainsi que la platine à touches qui est visible. Le passage de la sécurité était auparavant assuré par un gardien à l'entrée de locaux privés. Depuis, les équipements utilisés dans le cadre de la sécurisation des accès ont beaucoup évolué.
Global interpreter lockA global interpreter lock (GIL) is a mechanism used in computer-language interpreters to synchronize the execution of threads so that only one native thread (per process) can execute at a time. An interpreter that uses GIL always allows exactly one thread to execute at a time, even if run on a multi-core processor. Some popular interpreters that have GIL are CPython and Ruby MRI. A global interpreter lock (GIL) is a mutual-exclusion lock held by a programming language interpreter thread to avoid sharing code that is not thread-safe with other threads.
Hangenberg eventThe Hangenberg event, also known as the Hangenberg crisis or end-Devonian extinction, is a mass extinction that occurred at the end of the Famennian stage, the last stage in the Devonian Period (roughly 358.9 ± 0.4 million years ago). It is usually considered the second-largest extinction in the Devonian Period, having occurred approximately 13 million years after the Late Devonian mass extinction (Kellwasser event) at the Frasnian-Famennian boundary.
