Вы здесь

Главная

синтез программ

Связанные издания:

Correct Hardware Synthesis. An algebraic approach
Evolving Computability: Proc./11th Conference of Computability in Europe, CiE 2015, Bucharest, Romania, June 2015
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016
Logic Based Program Synthesis and Transformation: Revised Selected Papers/15th International Symposium, LOPSTR 2005. London, UK, September 2005
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/16th International Symposium, LOPSTR 2006. Venice, Italy, July 2006
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/17th International Symposium, LOPSTR 2007. Kongens Lyngby, Denmark, August 2007
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 18th Intl Symposium, LOPSTR 2008. Valencia, Spain, July 2008
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014
Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020
Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015
Автоматический синтез программ
Автоматический синтез программ действий интеллектуальных роботов
Исследование и реализация методов структурного синтеза программ
Логические основы синтеза программ
Многоуровневый дедуктивный синтез программ
Организация и использование баз знаний в системах автоматического синтеза программ
Пакетный подход к синтезу программ над структурами данных
Поиск вывода в Хорновских исчислениях и его применение в системах синтеза программ
Применение методов математической логики: Тезисы докладов IV Всесоюзной конференции. Секция "Представление знаний и синтез программ"
Применение теории дедуктивного вывода к синтезу программ
Развитие средств структурного синтеза программ
Разработка и реализация системы программирования с автоматическим синтезом программ
Реализуемость и синтез программ
Синтез программ. Тезисы докладов школы-семинара 24-30 июня 1985 г.
Система синтеза параллельных программ на основе вычислительных моделей с массивами