Results 1 to 10 of about 279,479 (299)
Ownership in low-level intermediate representation
CoRRThe concept of ownership in high level languages can aid both the programmer and the compiler to reason about the validity of memory operations. Previously, ownership semantics has been used successfully in high level automatic program verification to model a reference to data by a first order logic (FOL) representation of data instead of maintaining ...
Priya, Siddharth, Gurfinkel, Arie
openaire +3 more sources
Solving the TTC 2011 Compiler Optimization Case with GrGen.NET [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The challenge of the Compiler Optimization Case is to perform local optimizations and instruction selection on the graph-based intermediate representation of a compiler. The case is designed to compare participating tools regarding their performance.
Sebastian Buchwald, Edgar Jakumeit
doaj +1 more source
Frontiers in Human NeuroscienceNumerous studies have demonstrated that second language (L2) comprehension is often accompanied by activations in the first language (L1). Using both behavioral measurement and event-related potential (ERP), this study conducted two experiments to ...
Siqin Yang +3 more
doaj +1 more source
On the Representation of Multiple Intelligence Types in the ILI Intermediate Coursebooks: A Coursebook Evaluation [PDF]
Iranian Journal of Applied Language Studies, 2012 This study aims at evaluating the coursebooks taught at the intermediate level of adult and young adult departments of the Iran Language Institute in terms of multiple intelligence types introduced by Gardner (1983) to see to what extent such coursebooks
Seyyed Ayatollah Razmjoo, Zahra Farmer
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2014 We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger.
Pablo Bendersky +2 more
doaj +1 more source
S6-2: Neural Representation in the Apparent Motion Path
i-Perception, 2012 When a static stimulus appears successively at two different locations, we perceive a transition of the stimulus across them—apparent motion. Previous studies have shown that some spatio-temporal representation is reconstructed in the apparent motion ...
Won Mok Shim
doaj +1 more source
Revista de Urbanismo, 2018 The present article aims to analyze the study of homogeneity and polarization phenomena associated with urban segregation in six Chilean intermediate cities: Iquique - Alto Hospicio, Antofagasta, La Serena - Coquimbo, Rancagua - Machalí, Talca and Temuco
Fernando Toro, Hernán Orozco
doaj +1 more source
Translating programming languages for intermediate codes [PDF]
Informatică economică, 2007 Many of the important data structures used in a compiler are intermediate representations of the program being compiled. Often these representations take the form of trees, with several node types, each of which has different attributes.
doaj
On Ladder Diagrams Compilation and Synthesis to FPGA Implemented Reconfigurable Logic Controller
Advances in Electrical and Electronic Engineering, 2014 The paper presents synthesis process of a hardware implemented reconfigurable logic controller from a ladder diagram according to IEC61131-3 requirements. It is focused on the originally developed a high-performance LD processing method.
Adam Milik
doaj +1 more source
Applying two-stage LLVM-based compilation approach to application deployment via cloud storage
Труды Института системного программирования РАН, 2018 The paper describes two-stage compilation approach for C/C++ languages that allows deploying application in the LLVM intermediate representation. The LLVM modifications for optimizing code generation time are presented as well as the developed profile ...
Sergey Gaissaryan +4 more
doaj +1 more source