A computer program, prog, is seen as a mapping of input data into output data:

I_static, the static data, is the part of the input data known at compile time.

The partial evaluator transforms into by precomputing all static input at compile time. prog ^* is called the «residual program» and should run more efficiently than the original program. The act of partial evaluation is said to «residualize» prog to prog ^* .

Futamura projections

A particularly interesting example of this, first described in the 1970s by Yoshihiko Futamura, is when prog is an interpreter for a programming language.

If I_static is source code designed to run inside said interpreter, then partial evaluation of the interpreter with respect to this data/program produces prog*, a version of the interpreter that only runs that source code, is written in the implementation language of the interpreter, does not require the source code to be resupplied, and runs faster than the original combination of the interpreter and the source. In this case prog* is effectively a compiled version of I_static.

This technique is known as the first Futamura projection, of which there are three:

1. Compiling by specializing an interpreter
2. Compiler generation by self-application
3. Compiler generator generation by double self-application

References

• Yoshihiko Futamura (1971). «Partial Evaluation of Computation Process – An Approach to a Compiler-Compiler«. Systems, Computers, Controls 2 (5): 45–50.  Reprinted in Higher-Order and Symbolic Computation 12 (4): 381–391, 1999, with a foreword.
• Charles Consel and Olivier Danvy (1993). «Tutorial Notes on Partial Evaluation». Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages: 493–501. 

Предикат можно связать с математическим отношением: если n-ка принадлежит отношению, то предикат будет возвращать на ней 1.

Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка, в формулах можно ставить кванторы по предикатам.

Предикат называют тождественно-истинным и пишут:

если на любом наборе аргументов он принимает значение 1.

Предикат называют тождественно-ложным и пишут:

если на любом наборе аргументов он принимает значение 0.

Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1.

Так как предикаты принимают только два значения, то к ним применимы все операции булевой алгебры, например: отрицание, импликация, конъюнкция, дизъюнкция и т. д.

Примеры

Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат множеству вещественных чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.

Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.

Исторически логические исчисления были разработаны для теоретической формализации процесса доказательства в различных теориях.

Примерами наиболее часто используемых исчислений являются исчисления высказываний и исчисления предикатов.

Этот термин используется в широком диапазоне значений, от арифметического вычисления суммы чисел до вычисления шансов на победу в соревновании с использованием сложного эвристического анализа.

Умножение 2 на 2 это простое алгоритмическое вычисление.

Для статистической оценки вероятных результатов выборов на основе опросов общественного мнения также используются алгоритмические вычисления, но результаты представляются не точными числами, а как интервалы вероятностей.

Компьютерная программа сама по себе это только пассивная совокупность инструкций, в то время как процесс – это непосредственное выполнение этих инструкций.

Часто процессом называют выполняющуюся программу и все её элементы: адресное пространство, глобальные переменные, регистры, стек, открытые файлы и т.д.

Создание процесса

Простейшей операционной системе (например, внутри холодильника или автомата для продажи газированной воды) не требуется создание новых процессов, поскольку внутри них работает одна-единственная программа, запускаемая во время включения устройства. В более сложных системах надо создавать новые процессы. Обычно они создаются:

1. При запуске ОС,
2. При появлении запроса на создание процесса – происходит в случае, если работающий процесс создает новый процесс.

Завершение процесса

Завершение процесса происходит как:

1. Обычный выход
2. Выход по исключению или ошибке

Литература

• Э. Таненбаум, А. Вудхалл. «Операционные системы: Разработка и реализация.» — СПб.: 2006. — ISBN 5-469-00148-2
• Э. Таненбаум. «Современные операционные системы. 2-е изд.» — СПб.: Питер, 2005. — 1038 с.: ил. ISBN 5-318-00299-4

Другими словами, рекурсия — частичное определение объекта через себя, определение объекта с использованием ранее определённых. Рекурсия используется, когда можно выделить самоподобие задачи.

В программировании рекурсия — вызов функции (процедуры) из неё же самой, непосредственно (простая рекурсия) или через другие функции (сложная рекурсия), например, функция A вызывает функцию B, а функция B — функцию A. Количество вложенных вызовов функции или процедуры называется глубиной рекурсии.

Мощь рекурсивного определения объекта в том, что такое конечное определение способно описывать бесконечно большое число объектов. С помощью рекурсивной программы же возможно описать бесконечное вычисление, причём без явных повторений частей программы.

Имеется специальный тип рекурсии, называемый «хвостовой рекурсией». Интерпретаторы и компиляторы функциональных языков программирования, поддерживающие оптимизацию кода (исходного и/или исполняемого), выполняют хвостовую рекурсию в ограниченном объёме памяти при помощи итераций.

Следует избегать избыточной глубины рекурсии, так как это может вызвать переполнение стека вызовов.

Данные

Описание типа данных может содержать ссылку на саму себя. Подобные структуры используются при описании списков и графов. Пример описания списка (C++):

 class element_of_list
 {
   element_of_list *next; /* ссылка на следующий элемент того же типа */
   int data; /* некие данные */
 };

Рекурсивная структура данных зачастую обуславливает применение рекурсии для обработки этих данных.