ИСТИНА

Шульгин Е.В.

Соавторы: Кривчиков М.А.

1 статья, 2 доклада на конференциях

IstinaResearcherID (IRID): 88959395

Деятельность

• Статьи в сборниках

  • • 2017 Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus
    • Krivchikov M., Shulgin E.
    • в сборнике Материалы Пятой международной конференции "Актуальные проблемы системной и программной инженерии", место издания Издательство НИУ ВШЭ Москва, с. 57-62

• Доклады на конференциях

  • • 2017 Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus (Устный)
    • Авторы: Шульгин Е.В., Кривчиков М.А.
    • Актуальные проблемы системной и программной инженерии (АПСПИ 2017), Москва, Россия, 14-16 ноября 2017
  • • 2017 К статической проверке нетривиальных ограничений в реляционной модели предметной области (Устный)
    • Авторы: Шульгин Е.В., Кривчиков М.А.
    • Знания-Онтологии-Теории (ЗОНТ-2017), Новосибирск, Россия, 2-6 октября 2017