| Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. | Контрактное программирование (design by contract (DbC), programming by contract, contract-based programming) - это метод проектирования программного обеспечения. |
| Inductive logic programming (ILP) is an approach to rule-learning using logic programming as a uniform representation for input examples, background knowledge, and hypotheses. | Индуктивное логическое программирование (Inductive Logic Programming, ILP) - раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез. |
| Beta normal form Comparison of programming languages Lambda calculus Parameter (computer science) Eval() Essentials of Programming Languages by Daniel P. Friedman and Mitchell Wand, MIT Press 1989-2006 Some Fortran systems use call by copy-restore. | Бета-нормальная форма Сравнение языков программирования Лямбда-исчисление Параметр (программирование) eval Essentials of Programming Languages by Daniel P. Friedman and Mitchell Wand, MIT Press 1989-2006 Lambda Calculus (неопр.). |
| To learn about the basics of shell programming you can read our article on Shell Programming. | Вы можете сначала почитать эту заметку Shell Programming. |
| Microsoft Visual Programming Language, or MVPL, is a visual programming and dataflow programming language developed by Microsoft for the Microsoft Robotics Studio. | Microsoft Visual Programming Language или MVPL - язык визуального и поточного программирования, разработанный корпорацией Microsoft для своей Microsoft Robotics Developer Studio. |
| The ICFP Programming Contest is an international programming competition held annually around June or July since 1998, with results announced at the International Conference on Functional Programming. | ICFP Programming Contest - международное соревнование по программированию, проводимое ежегодно в июне-июле с 1998 года. |