Results 11 to 20 of about 699 (280)
Towards a theory of semantics and compilers for programming languages
Journal of Computer and System Sciences, 1969 The concept of imbedding a programming language L into a formal system is introduced and used as the basis of defining the semantics Θ of the language. Θ is an operator which maps a program p in L onto a function. The pair (L, Θ) is called a programming system.
exaly +3 more sources
IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS [PDF]
Acta Electrotechnica et Informatica, 2021 Object lifetimes are a common source of bugs in C++ that can cause crashes, unexpected behavior, or even security vulnerabilities. Herb Sutter, the chair of the C++ standard committee proposed a flow-sensitive analysis to catch lifetime errors ...
Gabor HORVÁTH, Norbert PATAKI
doaj +1 more source
Laboratory Development Approach in a 6DoF Launch Vehicle Simulation Design [PDF]
فصلنامه علوم و فناوری فضایی, 2022 A significant challenge in developing simulation software for flying objects is managing the transition from concept design to the final stages of hardware-in-the-loop integration.
Reza Esmaelzade, Fateme Zahra Rahmani
doaj +1 more source
, 2021 Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels.
Ashbaugh, Ben +5 more
core +1 more source
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages [PDF]
Logical Methods in Computer Science, 2023 A classic result in formal language theory is the equivalence among non-counting, or aperiodic, regular languages, and languages defined through star-free regular expressions, or first-order logic.
Dino Mandrioli +2 more
doaj +1 more source
Computers, 2023 Static analysis is a software testing technique that analyzes the code without executing it. It is widely used to detect vulnerabilities, errors, and other issues during software development.
Midya Alqaradaghi +2 more
doaj +1 more source
XcalableMP PGAS Programming Language [PDF]
, 2021 XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address Space (PGAS) model for distributed memory parallel systems.
Sato, Mitsuhisa
core +1 more source
Programming Languages and Systems [PDF]
, 2021 This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
core +1 more source
Static analysis of function calls in Erlang [PDF]
e-Informatica Software Engineering Journal, 2013 Functions and their relations can affect numerous properties and metrics of a functional program. To identify and represent the functions and their calling connections, software analysers commonly apply semantic function analysis, which derives the ...
Dániel Horpácsi, Judit Kőszegi
doaj +1 more source
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) [PDF]
Logical Methods in Computer Science, 2022 Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of method parameters in object-oriented programming had different purposes and deduced that, not ...
Giuseppe Castagna
doaj +1 more source