17 отношения: Haskell, Microsoft, Midori (операционная система), ML, MPEG, OCaml, Scheme, SHA-1, Standard ML, Криптографическая хеш-функция, Си (язык программирования), Системное программное обеспечение, Университет Джонса Хопкинса, Формальная верификация, Ядро операционной системы, Драйвер, Лицензия BSD.
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: BitC и Haskell · Узнать больше »
Microsoft
Microsoft (Microsoft Corporation, «Ма́йкрософт») — одна из крупнейших транснациональных компаний по производству проприетарного программного обеспечения для различного рода вычислительной техники — персональных компьютеров, игровых приставок, КПК, мобильных телефонов и прочего, разработчик наиболее широко распространённой на данный момент в мире программной платформы — семейства операционных систем Windows.
Новый!!: BitC и Microsoft · Узнать больше »
Midori (операционная система)
— кодовое имя исследовательской операционной системы (ОС), разработанной на основании концепции управляемого кода подразделением американской корпорации Microsoft — Microsoft Research.
Новый!!: BitC и Midori (операционная система) · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: BitC и ML · Узнать больше »
MPEG
222px MPEG (Moving Picture Experts Group; произносится «эмпэг» — Экспертная группа по движущимся изображениям) — группа специалистов, образованная международной организацией ISO для выработки стандартов сжатия и передачи цифровой видео- и аудиоинформации; также имеет официальное обозначение — ISO/IEC JTC1/SC29 WG11 (ISO/IEC Joint Technical Committee 1, Subcommittee 29, Working Group 11).
Новый!!: BitC и MPEG · Узнать больше »
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Новый!!: BitC и OCaml · Узнать больше »
Scheme
Scheme — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).
Новый!!: BitC и Scheme · Узнать больше »
SHA-1
Secure Hash Algorithm 1 — алгоритм криптографического хеширования.
Новый!!: BitC и SHA-1 · Узнать больше »
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Новый!!: BitC и Standard ML · Узнать больше »
Криптографическая хеш-функция
Криптографические хеш-функции — это выделенный класс хеш-функций, который имеет определенные свойства, делающие его пригодным для использования в криптографии.
Новый!!: BitC и Криптографическая хеш-функция · Узнать больше »
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Новый!!: BitC и Си (язык программирования) · Узнать больше »
Системное программное обеспечение
Систе́мное програ́ммное обеспе́чение — комплекс программ, которые обеспечивают управление компонентами компьютерной системы, такими как процессор, оперативная память, устройства ввода-вывода, сетевое оборудование, выступая как «межслойный интерфейс», с одной стороны которого аппаратура, а с другой — приложения пользователя.
Новый!!: BitC и Системное программное обеспечение · Узнать больше »
Университет Джонса Хопкинса
Университе́т Джо́нса Хо́пкинса (Johns Hopkins University) — частный исследовательский университет, основанный Джонсом Хопкинсом в городе Балтимор, штат Мэриленд, США.
Новый!!: BitC и Университет Джонса Хопкинса · Узнать больше »
Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.
Новый!!: BitC и Формальная верификация · Узнать больше »
Ядро операционной системы
Ядро́ (kernel) — центральная часть операционной системы (ОС), обеспечивающая приложениям координированный доступ к ресурсам компьютера, таким как процессорное время, память, внешнее аппаратное обеспечение, внешнее устройство ввода и вывода информации.
Новый!!: BitC и Ядро операционной системы · Узнать больше »
Драйвер
Дра́йвер (driver, мн. ч. дра́йверы) — компьютерное программное обеспечение, с помощью которого другое программное обеспечение (операционная система) получает доступ к аппаратному обеспечению некоторого устройства.
Новый!!: BitC и Драйвер · Узнать больше »
Лицензия BSD
Лицензия BSD (BSD license, Berkeley Software Distribution license — Программная лицензия университета Беркли) — это лицензионное соглашение, впервые применённое для распространения UNIX-подобных операционных систем BSD.
Новый!!: BitC и Лицензия BSD · Узнать больше »