Results 11 to 20 of about 20,367 (260)
Integration of semantic verication into Java compilers
Моделирование и анализ информационных систем, 2010 This paper introduces a method for static semantic analysis of source codes at com- pilation time directly within standard compilers. The method is implemented via unied integration with Java compilers to get the full access to Abstract Syntax Tree (AST)
A. V. Klepinin, A. A. Melentyev
doaj +1 more source
Information security threats of optimizing compilers’ plugins [PDF]
Безопасность информационных технологийThe subject of the article is plugins for optimizing compilers, which are connected through standard software interfaces provided to improve the functionality of such compilers and the efficiency of the software developed with their help.
Sergey K. Muravyev
doaj +2 more sources
Современные информационные технологии и IT-образование, 2022 Control flow optimizations are of particular importance when optimizing programs for graphics accelerators and video cards. In addition to scalar control flow optimizations, which are widely known and well represented in modern compilers, there is also a
Konstantin Vladimirov, Yuly Tarasov
doaj +1 more source
OLP—A RESTful Open Low-Code Platform
Future Internet, 2021 Low-code is an emerging concept that transforms visual representations into functional software, allowing anyone to be a developer. However, building a low-code platform from scratch can be challenging concerning the scarce available literature about the
Mauro A. A. da Cruz +5 more
doaj +1 more source
Calculating dependently-typed compilers (functional pearl) [PDF]
, 2021 Compilers are difficult to write, and difficult to get right. Bahr and Hutton recently developed a new technique for calculating compilers directly from specifications of their correctness, which ensures that the resulting compilers are correct-by ...
Pickard, Mitchell +3 more
core +1 more source
Computers, 2023 DevOps methodology and tools, which provide standardized ways for continuous integration (CI) and continuous deployment (CD), are invaluable for efficient software development.
Baasanjargal Erdenebat +3 more
doaj +1 more source
A Compiler Compiler and Methodology for Problem Oriented Language Compiler Implementors [PDF]
The Computer Journal, 1978 The Program Synthesis system is a compiler compiler specially designed to enable the implementors of application systems to design, implement and issue language-based applications without having to concern themselves with the technical aspects of compiler construction; and also to ensure that the resulting systems are easily enhanced and easily ...
R. V. Evans +2 more
openaire +2 more sources
Metamorphic testing of deep learning compilers
, 2022 The prosperous trend of deploying deep neural network (DNN) models to diverse hardware platforms has boosted the development of deep learning (DL) compilers.
XIAO, Dongwei +4 more
core +1 more source
Calculating correct compilers II: Return of the register machines [PDF]
, 2020 In ‘Calculating Correct Compilers’ (Bahr & Hutton, 2015), we developed a new approach to calculating compilers directly from specifications of their correctness.
Bahr, Patrick; id_orcid +2 more
core +1 more source
A Survey on Teaching and Learning Recursive Programming
Informatics in Education, 2014 We survey the literature about the teaching and learning of recursive programming. After a short history of the advent of recursion in programming languages and its adoption by programmers, we present curricular approaches to recursion, including a ...
Christian RINDERKNECHT
doaj +1 more source