List of C-family programming languages
Semantic Scholar uses AI to extract papers important to this topic.
The knowledge of pointer behavior is very important for static analysis tools, especially the ones aiming at detecting C and… (More)
This paper presents a novel framework for tracing and logging C-based designs of embedded hardware/software systems. The… (More)
In this short paper we discuss the design, implementation and operation of an automated tool that computes the function of while… (More)
We report on work in progress upon the verification of contextaware applications written in C-based languages. We recognize that… (More)
In recent years a lot of new C-based design languages have been developed. They all promise a smoother transition from a high… (More)
Coming from the ivy-covered towers of academia, I was highly skeptical when I was told I’d be required to teach Ada. Surely it… (More)
How far can we go in finding bugs in software using static analysis? What is practical? Ada already catches an order of magnitude… (More)
The help project proposes a model of data-parallel programming allowing a programmer to develop an algorithm the nearest of his… (More)
- Softw., Pract. Exper.
Compilation time can be improved by precompiling interfaces so that the compiler can avoid processing unreferenced declarations… (More)
Static typing, also known as strong typing, has a long and rich history in programming languages. Object-oriented technology… (More)