Непроцедурного мови складають групу мов, що описують організацію даних, що обробляються за фіксованими алгоритмам (табличні мови і генератори звітів), і мов зв'язку з операційними системами.
Дозволяючи чітко описувати як завдання, так і необхідні для її вирішення дії, таблиці рішень дають змогу в наочній формі визначити, які умови повинні бути виконані перш ніж переходити до якого-небудь дії. Одна таблиця рішень, що описує деяку ситуацію, містить всі можливі блок-схеми реалізацій алгоритмів рішення.
У 1978 р Брайн Керниган і Денис Рітчі написали книгу "Мова програмування Сі" (видавництво Prentice-Hall) яку можна розглядати як певний стандарт мови "K R ". Її називають білою книгою (Ви можете знайти її в розділі" Книги і підручники ").
Перерахуємо деякі особливості мови C.
У мові C реалізований ряд операцій низького рівня. Деякі з таких операцій безпосередньо відповідають машинним командам, наприклад, порозрядні операції або операції ++ і -.
Базові типи даних мови C відображають ті ж об'єкти, з якими доводиться мати справу в програмі на Асемблері - байти, машинні слова і т.д. Незважаючи на наявність в мові C розвинених засобів побудови складових об'єктів (масивів і структур), в ньому практично відсутні кошти для роботи з ними як з єдиним цілим.
Як ніякий інший мову програмування високого рівня, мова C «довіряє» програмісту. Навіть в такому істотному питанні, як перетворення типів даних, накладаються лише незначні обмеження. Однак це також вимагає від програміста обережності і самоконтролю.
Незважаючи на ефективність і потужність конструкція мови C, він відносно малий за обсягом. У ньому відсутні вбудовані оператори введення / виведення, динамічного розподілу пам'яті, управління процесами і т.п. проте в системне оточення мови C входить бібліотека стандартних функцій, в якій реалізовані подібні дії.