Every Programmer Should Know Some Formal Proof
Using lower_bound as an example, this article explains how to derive and verify a binary search implementation with safety and liveness ana…
Tags
Interview
Posts gathered under this term.
- Entries
- 6
Looking at the Expressive Power of Different Programming Languages Through an Interview Question
Many people do not understand that different programming languages have different expressive power. That is why, after assembly language, w…
Checking Overflow with Inline Assembly
This question often comes up in interviews, and real-world projects also frequently need to address the same issue: how to determine whethe…
The Difference Between Overloading and Overriding
Overloading and overriding are two concepts frequently tested in written exams and interviews. These two concepts differ from the concepts …
The Three Major Characteristics of Object-Oriented Programming
Interviews often ask about the three major characteristics of object-oriented programming, but no single book explains all three thoroughly…
Multiple Solutions to an Interview Problem
In a binary search tree, one node violates the properties of a binary search tree. Find that node.