Более быстрый доступ, чем браузер!
76 отношения: Ad hoc, Alice (язык программирования), ANTLR, AutoCAD, BitC, C++, C--, Common Lisp, Haskell, JetBrains, Lex, Low Level Virtual Machine, Lua, Maple, Mathematica, ML, MLton, Nemerle, OCaml, PCRE, Perl, REBOL, REPL, RSDN, Scheme, SQL, Standard ML, Tcl, TeX, XML, Yacc, Качество программного обеспечения, Кнут, Дональд Эрвин, Компьютерра, Прототипирование программного обеспечения, Программная инженерия, Предметно-ориентированный язык, Паскаль (язык программирования), Пейтон-Джонс, Саймон, Ассемблер, Алфавит (формальный язык), Алгол, Расширенная форма Бэкуса — Наура, Раскрутка компилятора, Рефлексия (программирование), Структура и интерпретация компьютерных программ, Самоприменимость, Си (язык программирования), Система управления базами данных, Система автоматизированного проектирования, ..., Серебряной пули нет, Семантика (программирование), Типизированное лямбда-исчисление, Типобезопасность, Функция высшего порядка, Функциональное программирование, Фаулер, Мартин, Форт (язык программирования), Формальная грамматика, Шаблоны C++, Маккарти, Джон, Метаязык, Идиома (программирование), Информатика, Брукс, Фредерик, Вёрстка, Вывод типов, Время выполнения (фаза жизненного цикла программы), Визуальное программирование, Лисп, 1970-е годы, 1980-е годы, 1990-е годы, 1994 год, 2000-е годы, 2012 год. Развернуть индекс (26 больше) »
Ad hoc
Ad hoc — латинская фраза, означающая «специально для этого», «по особому случаю».
Новый!!: Языково-ориентированное программирование и Ad hoc · Узнать больше »
Alice (язык программирования)
Alice — язык функционального программирования, разработанный в лаборатории Programming Systems Lab в Саарском университете.
Новый!!: Языково-ориентированное программирование и Alice (язык программирования) · Узнать больше »
ANTLR
ANTLR (от ANother Tool for Language Recognition — «ещё одно средство распознавания языков») — генератор нисходящих анализаторов для формальных языков.
Новый!!: Языково-ориентированное программирование и ANTLR · Узнать больше »
AutoCAD
AutoCAD — двух- и трёхмерная система автоматизированного проектирования и черчения, разработанная компанией Autodesk.
Новый!!: Языково-ориентированное программирование и AutoCAD · Узнать больше »
BitC
BitC — язык системного программирования, разработанный исследователями Университета Джона Хопкинса и как часть проекта.
Новый!!: Языково-ориентированное программирование и BitC · Узнать больше »
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Новый!!: Языково-ориентированное программирование и C++ · Узнать больше »
C--
C-- (читается как «Си минус минус») — переносимый язык программирования низкого уровня, используемый как для сверхвысокоуровневых языков.
Новый!!: Языково-ориентированное программирование и C-- · Узнать больше »
Common Lisp
Common Lisp (сокращённо — CL) — диалект языка программирования Лисп, стандартизированный ANSI.
Новый!!: Языково-ориентированное программирование и Common Lisp · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Языково-ориентированное программирование и Haskell · Узнать больше »
JetBrains
JetBrains — компания по производству программного обеспечения с офисами в Праге, Санкт-Петербурге, Бостоне, Москве, Мюнхене и Новосибирске.
Новый!!: Языково-ориентированное программирование и JetBrains · Узнать больше »
Lex
Lex — программа для генерации лексических анализаторов, обычно используемая совместно с генератором синтаксических анализаторов yacc.
Новый!!: Языково-ориентированное программирование и Lex · Узнать больше »
Low Level Virtual Machine
LLVM (ранее Low Level Virtual Machine) — универсальная система анализа, трансформации и оптимизации программ, реализующая виртуальную машину с RISC-подобными инструкциями.
Новый!!: Языково-ориентированное программирование и Low Level Virtual Machine · Узнать больше »
Lua
Lua (лу́а) — скриптовый язык программирования, разработанный в подразделении Tecgraf (Computer Graphics Technology Group) Католического университета Рио-де-Жанейро (Бразилия).
Новый!!: Языково-ориентированное программирование и Lua · Узнать больше »
Maple
Maple — программный пакет, система компьютерной алгебры (точнее, система компьютерной математики).
Новый!!: Языково-ориентированное программирование и Maple · Узнать больше »
Mathematica
Mathematica — система компьютерной алгебры (обычно называется Математика, программный пакет Математика), широко используемая в научных, инженерных, математических и компьютерных областях.
Новый!!: Языково-ориентированное программирование и Mathematica · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: Языково-ориентированное программирование и ML · Узнать больше »
MLton
MLton (произносится «ми́ллтон») — кроссплатформенный полнопрограммно-оптимизирующий компилятор языка программирования (SML).
Новый!!: Языково-ориентированное программирование и MLton · Узнать больше »
Nemerle
Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования, для платформ.NET и Mono (язык компилируется в CIL и является CLS-совместимым).
Новый!!: Языково-ориентированное программирование и Nemerle · Узнать больше »
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Новый!!: Языково-ориентированное программирование и OCaml · Узнать больше »
PCRE
PCRE (Perl Compatible Regular Expressions) — библиотека, реализующая работу регулярных выражений в стиле Perl (с некоторыми отличиями).
Новый!!: Языково-ориентированное программирование и PCRE · Узнать больше »
Perl
Perl — высокоуровневый интерпретируемый динамический язык программирования общего назначения, созданный Ларри Уоллом, лингвистом по образованию.
Новый!!: Языково-ориентированное программирование и Perl · Узнать больше »
REBOL
REBOL (произносится как) — контекстно-зависимый объектный язык программирования, созданный специально для распределённых вычислений в Web.
Новый!!: Языково-ориентированное программирование и REBOL · Узнать больше »
REPL
REPL (от read-eval-print loop — цикл «чтение — вычисление — вывод») — форма организации простой интерактивной среды программирования в рамках средств интерфейса командной строки.
Новый!!: Языково-ориентированное программирование и REPL · Узнать больше »
RSDN
Russian Software Developer Network (RSDN) — сообщество русскоговорящих разработчиков программного обеспечения.
Новый!!: Языково-ориентированное программирование и RSDN · Узнать больше »
Scheme
Scheme — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).
Новый!!: Языково-ориентированное программирование и Scheme · Узнать больше »
SQL
SQL (structured query language — «язык структурированных запросов») — декларативный язык программирования, применяемый для создания, модификации и управления данными в реляционной базе данных, управляемой соответствующей системой управления базами данных.
Новый!!: Языково-ориентированное программирование и SQL · Узнать больше »
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Новый!!: Языково-ориентированное программирование и Standard ML · Узнать больше »
Tcl
Tcl (от Tool Command Language — «командный язык инструментов», читается «тикль» или «ти-си-эль») — скриптовый язык высокого уровня.
Новый!!: Языково-ориентированное программирование и Tcl · Узнать больше »
TeX
TeX — система компьютерной вёрстки, разработанная американским профессором информатики Дональдом Кнутом в целях создания компьютерной типографии.
Новый!!: Языково-ориентированное программирование и TeX · Узнать больше »
XML
XML (eXtensible Markup Language) — расширяемый язык разметки.
Новый!!: Языково-ориентированное программирование и XML · Узнать больше »
Yacc
yacc — компьютерная программа, служащая стандартным генератором синтаксических анализаторов (парсеров) в Unix-системах.
Новый!!: Языково-ориентированное программирование и Yacc · Узнать больше »
Качество программного обеспечения
Ка́чество програ́ммного обеспечения — способность программного продукта при заданных условиях удовлетворять установленным или предполагаемым потребностям (ISO/IEC 25000:2014).
Новый!!: Языково-ориентированное программирование и Качество программного обеспечения · Узнать больше »
Кнут, Дональд Эрвин
Дональд Эрвин Кнут (Donald Ervin Knuth, МФА: /kəˈnuːθ/; род. 10 января 1938 года, Милуоки, штат Висконсин) — американский учёный в области информатики, эмерит-профессор Стэнфордского университета и нескольких других университетов в разных странах, в том числе Санкт-Петербургского, преподаватель и идеолог программирования, автор 19 монографий (в том числе ряда классических книг по программированию) и более 160 статей, разработчик нескольких известных программных технологий.
Новый!!: Языково-ориентированное программирование и Кнут, Дональд Эрвин · Узнать больше »
Компьютерра
«Компьютерра» — компьютерный еженедельник, издававшийся с 21 декабря 1992 года по 15 декабря 2009 года одноимённым издательским домом.
Новый!!: Языково-ориентированное программирование и Компьютерра · Узнать больше »
Прототипирование программного обеспечения
Прототипи́рование программного обеспечения (от англ. prototyping) — этап разработки программного обеспечения (ПО), процесс создания прототи́па программы — макета (черновой, пробной версии) программы, обычно — с целью проверки пригодности предлагаемых для применения концепций, архитектурных и/или технологических решений, а также для представления программы заказчику на ранних стадиях процесса разработки.
Новый!!: Языково-ориентированное программирование и Прототипирование программного обеспечения · Узнать больше »
Программная инженерия
Мозиллы Программная инженерия (software engineering) — приложение систематического, дисциплинированного, измеримого подхода к разработке, функционированию и сопровождению программного обеспечения, а также исследованию этих подходов; то есть, приложение дисциплины инженерии к программному обеспечению (ISO/IEC/IEEE 24765-2010).
Новый!!: Языково-ориентированное программирование и Программная инженерия · Узнать больше »
Предметно-ориентированный язык
Предметно-ориентированный язык (domain-specific language, DSL — «язык, специфический для предметной области») —, специализированный для конкретной области применения (в противоположность, применимому к широкому спектру областей и не учитывающему особенности конкретных сфер знаний).
Новый!!: Языково-ориентированное программирование и Предметно-ориентированный язык · Узнать больше »
Паскаль (язык программирования)
Паска́ль (Pascal) — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является базой для ряда других языков.
Новый!!: Языково-ориентированное программирование и Паскаль (язык программирования) · Узнать больше »
Пейтон-Джонс, Саймон
Саймон Пейтон-Джонс (Simon Peyton Jones; 18 января 1958 года, Южно-Африканская Республика) — британский учёный, специалист по функциональным языкам программирования и отложенным вычислениям, почётный профессор информатики в Университета Глазго, профессор Кембриджского университета, ведущий разработчик языка программирования Haskell и руководитель разработки самого популярного компилятора этого языка — Glasgow Haskell Compiler.
Новый!!: Языково-ориентированное программирование и Пейтон-Джонс, Саймон · Узнать больше »
Ассемблер
Ассе́мблер (от assembler — сборщик) — транслятор исходного текста программы, написанной на языке ассемблера, в программу на машинном языке.
Новый!!: Языково-ориентированное программирование и Ассемблер · Узнать больше »
Алфавит (формальный язык)
Алфави́т формального языка — множество атомарных (неделимых) символов какого-либо формального языка (иногда называемых буквами по аналогии с алфавитами естественных языков).
Новый!!: Языково-ориентированное программирование и Алфавит (формальный язык) · Узнать больше »
Алгол
Алго́л (Algol от algorithmic — алгоритмический и language — язык) — название ряда языков программирования, применяемых при составлении программ для решения научно-технических задач на ЭВМ.
Новый!!: Языково-ориентированное программирование и Алгол · Узнать больше »
Расширенная форма Бэкуса — Наура
Расширенная форма Бэкуса — Наура (расширенная Бэкус — Наурова форма (РБНФ)) (Extended Backus–Naur Form (EBNF)) — формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие.
Новый!!: Языково-ориентированное программирование и Расширенная форма Бэкуса — Наура · Узнать больше »
Раскрутка компилятора
Раскрутка компилятора (bootstrapping — от boot и strap) — метод создания транслятора для некоторого языка программирования, при котором транслятор пишется на том же языке программирования, для трансляции которого создаётся; создание транслятором исполняемых файлов из исходного кода самого транслятора.
Новый!!: Языково-ориентированное программирование и Раскрутка компилятора · Узнать больше »
Рефлексия (программирование)
В информатике отражение или рефлексия (холоним интроспекции, reflection) означает процесс, во время которого программа может отслеживать и модифицировать собственную структуру и поведение во время выполнения.
Новый!!: Языково-ориентированное программирование и Рефлексия (программирование) · Узнать больше »
Структура и интерпретация компьютерных программ
«Структу́ра и интерпрета́ция компью́терных програ́мм» (Structure and Interpretation of Computer Programs — SICP) — классическая книга Харольда Абельсона и Джеральда Сассмана о программировании, выпущенная издательством Массачусетского технологического института в 1985 году.
Новый!!: Языково-ориентированное программирование и Структура и интерпретация компьютерных программ · Узнать больше »
Самоприменимость
Самопримени́мость в теории алгоритмов — свойство алгоритма успешно завершаться на данных, представляющих собой формальную запись этого же алгоритма.
Новый!!: Языково-ориентированное программирование и Самоприменимость · Узнать больше »
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Новый!!: Языково-ориентированное программирование и Си (язык программирования) · Узнать больше »
Система управления базами данных
Систе́ма управле́ния ба́зами да́нных (СУБД) — совокупность программных и лингвистических средств общего или специального назначения, обеспечивающих управление созданием и использованием баз данных.
Новый!!: Языково-ориентированное программирование и Система управления базами данных · Узнать больше »
Система автоматизированного проектирования
Система автоматизированного проектирования — автоматизированная система, реализующая информационную технологию выполнения функций проектирования, представляет собой организационно-техническую систему, предназначенную для автоматизации процесса проектирования, состоящую из персонала и комплекса технических, программных и других средств автоматизации его деятельности.
Новый!!: Языково-ориентированное программирование и Система автоматизированного проектирования · Узнать больше »
Серебряной пули нет
Фредерик Брукс, автор статьи «Серебряной пули нет» «Серебряной пули нет» («No Silver Bullet») — широко обсуждавшаяся статья Фредерика Брукса об инженерии программного обеспечения, написанная им в 1986 году.
Новый!!: Языково-ориентированное программирование и Серебряной пули нет · Узнать больше »
Семантика (программирование)
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей.
Новый!!: Языково-ориентированное программирование и Семантика (программирование) · Узнать больше »
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами.
Новый!!: Языково-ориентированное программирование и Типизированное лямбда-исчисление · Узнать больше »
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Новый!!: Языково-ориентированное программирование и Типобезопасность · Узнать больше »
Функция высшего порядка
Фу́нкция вы́сшего поря́дка — в программировании функция, принимающая в качестве аргументов другие функции или возвращающая другую функцию в качестве результата.
Новый!!: Языково-ориентированное программирование и Функция высшего порядка · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: Языково-ориентированное программирование и Функциональное программирование · Узнать больше »
Фаулер, Мартин
Мартин Фаулер (Martin Fowler) — автор ряда книг и статей по архитектуре ПО, объектно-ориентированному анализу и разработке, языку UML, рефакторингу, экстремальному программированию, предметно-ориентированным языкам программирования.
Новый!!: Языково-ориентированное программирование и Фаулер, Мартин · Узнать больше »
Форт (язык программирования)
Форт (Forth) — один из первых конкатенативных языков программирования, в котором программы записываются последовательностью лексем («слов» в терминологии языка Форт).
Новый!!: Языково-ориентированное программирование и Форт (язык программирования) · Узнать больше »
Формальная грамматика
Формальная грамматика или просто грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавита.
Новый!!: Языково-ориентированное программирование и Формальная грамматика · Узнать больше »
Шаблоны C++
Шабло́ны (template) — средство языка C++, предназначенное для кодирования обобщённых алгоритмов, без привязки к некоторым параметрам (например, типам данных, размерам буферов, значениям по умолчанию).
Новый!!: Языково-ориентированное программирование и Шаблоны C++ · Узнать больше »
Маккарти, Джон
Джон Маккарти (4 сентября 1927, Бостон — 24 октября 2011, Стэнфорд) — американский информатик, автор термина «искусственный интеллект» (1955), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат Премии Тьюринга (1971) за огромный вклад в область исследований искусственного интеллекта.
Новый!!: Языково-ориентированное программирование и Маккарти, Джон · Узнать больше »
Метаязык
Метаязы́к — язык, предназначенный для описания другого языка, называемого.
Новый!!: Языково-ориентированное программирование и Метаязык · Узнать больше »
Идиома (программирование)
Идиома программирования — устойчивый способ выражения некоторой составной конструкции в одном или нескольких языках программирования.
Новый!!: Языково-ориентированное программирование и Идиома (программирование) · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Языково-ориентированное программирование и Информатика · Узнать больше »
Брукс, Фредерик
Фредери́к Фи́ллипс Брукс — младший (Frederick Phillips Brooks, Jr.; род. 19 апреля 1931, Дарем (Северная Каролина), США) — американский учёный в области теории вычислительных систем, автор книги «Мифический человеко-месяц».
Новый!!: Языково-ориентированное программирование и Брукс, Фредерик · Узнать больше »
Вёрстка
Вёрстка — монтаж полос оригинал-макета из составных элементов: набранного текста, заголовков, таблиц, иллюстраций, украшений и пр.
Новый!!: Языково-ориентированное программирование и Вёрстка · Узнать больше »
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Новый!!: Языково-ориентированное программирование и Вывод типов · Узнать больше »
Время выполнения (фаза жизненного цикла программы)
В информатике время выполнения (runtime, сл. «ранта́йм») — это время, в течение которого выполняется программа, в отличие от других этапов жизненного цикла (англ. program lifecycle phase) программы, таких как, и. Ошибка выполнения обнаруживается во время выполнения или исполнения (состояния запуска) программы, тогда как ошибка компиляции обнаруживается компилятором до того, как программа будет выполняться.
Новый!!: Языково-ориентированное программирование и Время выполнения (фаза жизненного цикла программы) · Узнать больше »
Визуальное программирование
Визуальное программирование — способ создания программы для ЭВМ путём манипулирования графическими объектами вместо написания её текста.
Новый!!: Языково-ориентированное программирование и Визуальное программирование · Узнать больше »
Лисп
Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.
Новый!!: Языково-ориентированное программирование и Лисп · Узнать больше »
1970-е годы
1970-е годы — десятилетие, включающее года с 1970 по 1979.
Новый!!: Языково-ориентированное программирование и 1970-е годы · Узнать больше »
1980-е годы
1980-е годы — десятилетие, включающее года с 1980 по 1989.
Новый!!: Языково-ориентированное программирование и 1980-е годы · Узнать больше »
1990-е годы
мавзолея 1990-е годы (одна тысяча девятьсот девяностые; девяностые) — десятилетие, включающее года с 1990 по 1999.
Новый!!: Языково-ориентированное программирование и 1990-е годы · Узнать больше »
1994 год
Объявлен ООН Международным годом семьи, спорта и олимпийских идеалов.
Новый!!: Языково-ориентированное программирование и 1994 год · Узнать больше »
2000-е годы
2000-е годы (00-е, нулевые) — десятилетие, включающее годы с 2000 по 2009.
Новый!!: Языково-ориентированное программирование и 2000-е годы · Узнать больше »
2012 год
«Год российской истории» в России.
Новый!!: Языково-ориентированное программирование и 2012 год · Узнать больше »
Перенаправления здесь:
ЯОП.
