| 2 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Literary Quotations in Bilingual Dictionaries: A Case Study of a Nineteenth-century Dutch–Chinese Dictionary
|
|
|
|
In: Lexikos; Vol. 31 (2021); 51-67 ; 2224-0039 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Compiladores para as linguagens da abordagem WED-flow ; Compilers for the WED-flow approach's languages
|
|
Dias Filho, Eduardo. - : Biblioteca Digital de Teses e Dissertações da USP, 2021. : Universidade de São Paulo, 2021. : Instituto de Matemática e Estatística, 2021
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Interactive Model-Based Compilation: A Modeller-Driven Development Approach
|
|
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Interactive Model-Based Compilation: A Modeller-Driven Development Approach
|
|
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Literary Quotations in Bilingual Dictionaries: A Case Study of a Nineteenth-century Dutch–Chinese Dictionary
|
|
|
|
In: Lexikos, Vol 31, Pp 51-67 (2021) (2021)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Aggressive unboxing in the Dart VM
|
|
Agnez Lima, Victor. - : Universidade Federal do Rio Grande do Norte, 2020. : Brasil, 2020. : UFRN, 2020. : Bacharelado em Ciência da Computação, 2020
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Tango: A Spanish-Based Programming Language
|
|
|
|
In: Butler Journal of Undergraduate Research (2017)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
ManyDSL - One host for all language needs ; ManyDSL - Ein Host für alle Sprachbedürfnisse
|
|
|
|
BASE
|
|
Show details
|
|
|
| 13 |
УСИЛЕНИЕ ЛИЧНОСТНОГО НАЧАЛА В СОВРЕМЕННОЙ РУССКОЙ ДЕЛОВОЙ ПЕРЕПИСКЕ: ПОЛОЖИТЕЛЬНЫЕ И ОТРИЦАТЕЛЬНЫЕ МОМЕНТЫ
|
|
ЧО ЫН ЕН. - : Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Российский университет дружбы народов», 2016
|
|
BASE
|
|
Show details
|
|
|
| 14 |
PaniniJ: adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design
|
|
|
|
In: Graduate Theses and Dissertations (2016)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Разработка модуля трансляции псевдокода алгоритмов в заготовку кода на C# ... : бакалаврская работа ...
|
|
Багарян, Виктор. - : Санкт-Петербургский политехнический университет Петра Великого, 2016
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Efficient Hosted Interpreter for Dynamic Languages
|
|
Zhang, Wei. - : eScholarship, University of California, 2015
|
|
In: Zhang, Wei. (2015). Efficient Hosted Interpreter for Dynamic Languages. UC Irvine: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/6gb693jb (2015)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Meta Ii: Описание Компилятора, Код, Описание Инструкций Виртуальной Машины ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Первые учебные и справочные издания для мордвы
|
|
КУБАНЦЕВА ИРИНА АЛЕКСЕЕВНА. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Национальный исследовательский Мордовский государственный университет им. Н. П. Огарёва», 2014
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Татарско-русские словари ХХ века и их составители (дооктябрьский период)
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
τC: C with process network extensions for embedded manycores
|
|
|
|
In: ISSN: 1877-0509 ; EISSN: 1877-0509 ; Procedia Computer Science ; https://hal-cea.archives-ouvertes.fr/cea-01831559 ; Procedia Computer Science, Elsevier, 2014, 29, pp.1100-1112. ⟨10.1016/j.procs.2014.05.099⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
|
|
