Void safety, the Glossary

Table of Contents

1. 27 relations: ALGOL W, Bertrand Meyer, C Sharp (programming language), Ceylon (programming language), Crash (computing), Dart (programming language), Ecma International, Eiffel (programming language), EiffelStudio, Exception handling, F Sharp (programming language), International Organization for Standardization, Intersection type, Kotlin (programming language), Null pointer, Nullable type, Object-oriented programming, Option type, Pointer (computer programming), Reference (computer science), Rust (programming language), Safe navigation operator, Self (programming language), Swift (programming language), Tony Hoare, TypeScript, Union type.

ALGOL W

ALGOL W is a programming language.

See Void safety and ALGOL W

Bertrand Meyer

Bertrand Meyer (born 21 November 1950) is a French academic, author, and consultant in the field of computer languages.

See Void safety and Bertrand Meyer

C Sharp (programming language)

C# is a general-purpose high-level programming language supporting multiple paradigms.

See Void safety and C Sharp (programming language)

Ceylon (programming language)

Ceylon was an object-oriented, strongly statically typed programming language with an emphasis on immutability, created by Red Hat.

See Void safety and Ceylon (programming language)

Crash (computing)

In computing, a crash, or system crash, occurs when a computer program such as a software application or an operating system stops functioning properly and exits.

See Void safety and Crash (computing)

Dart (programming language)

Dart is a programming language designed by Lars Bak and Kasper Lund and developed by Google.

See Void safety and Dart (programming language)

Ecma International

Ecma International is a nonprofit standards organization for information and communication systems.

See Void safety and Ecma International

Eiffel (programming language)

Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software.

See Void safety and Eiffel (programming language)

EiffelStudio

EiffelStudio is a development environment for the Eiffel programming language developed and distributed by Eiffel Software. Void safety and EiffelStudio are object-oriented programming.

See Void safety and EiffelStudio

Exception handling

In computing and computer programming, exception handling is the process of responding to the occurrence of exceptions – anomalous or exceptional conditions requiring special processing – during the execution of a program.

See Void safety and Exception handling

F Sharp (programming language)

F# (pronounced F sharp) is a general-purpose, high-level, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods.

See Void safety and F Sharp (programming language)

International Organization for Standardization

The International Organization for Standardization (ISO) is an independent, non-governmental, international standard development organization composed of representatives from the national standards organizations of member countries.

See Void safety and International Organization for Standardization

Intersection type

In type theory, an intersection type can be allocated to values that can be assigned both the type \sigma and the type \tau.

See Void safety and Intersection type

Kotlin (programming language)

Kotlin is a cross-platform, statically typed, general-purpose high-level programming language with type inference.

See Void safety and Kotlin (programming language)

Null pointer

In computing, a null pointer or null reference is a value saved for indicating that the pointer or reference does not refer to a valid object.

See Void safety and Null pointer

Nullable type

Nullable types are a feature of some programming languages which allow a value to be set to the special value NULL instead of the usual possible values of the data type.

See Void safety and Nullable type

Object-oriented programming

Object-oriented programming (OOP) is a programming paradigm based on the concept of objects, which can contain data and code: data in the form of fields (often known as attributes or properties), and code in the form of procedures (often known as methods).

See Void safety and Object-oriented programming

Option type

In programming languages (especially functional programming languages) and type theory, an option type or maybe type is a polymorphic type that represents encapsulation of an optional value; e.g., it is used as the return type of functions which may or may not return a meaningful value when they are applied.

See Void safety and Option type

Pointer (computer programming)

In computer science, a pointer is an object in many programming languages that stores a memory address.

See Void safety and Pointer (computer programming)

Reference (computer science)

In computer programming, a reference is a value that enables a program to indirectly access a particular datum, such as a variable's value or a record, in the computer's memory or in some other storage device.

See Void safety and Reference (computer science)

Rust (programming language)

Rust is a general-purpose programming language emphasizing performance, type safety, and concurrency.

See Void safety and Rust (programming language)

Safe navigation operator

In object-oriented programming, the safe navigation operator (also known as optional chaining operator, safe call operator, null-conditional operator, null-propagation operator) is a binary operator that returns null if its first argument is null; otherwise it performs a dereferencing operation as specified by the second argument (typically an object member access, array index, or lambda invocation). Void safety and safe navigation operator are object-oriented programming.

See Void safety and Safe navigation operator

Self (programming language)

Self is a general-purpose, high-level, object-oriented programming language based on the concept of prototypes.

See Void safety and Self (programming language)

Swift (programming language)

Swift is a high-level general-purpose, multi-paradigm, compiled programming language created by Chris Lattner in 2010 for Apple Inc. and maintained by the open-source community.

See Void safety and Swift (programming language)

Tony Hoare

Sir Charles Antony Richard Hoare, also known as Tony Hoare or by his initials C. A. R. Hoare (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.

See Void safety and Tony Hoare

TypeScript

TypeScript is a free and open-source high-level programming language developed by Microsoft that adds static typing with optional type annotations to JavaScript.

See Void safety and TypeScript

Union type

In computer science, a union is a value that may have any of multiple representations or formats within the same area of memory; that consists of a variable that may hold such a data structure.

See Void safety and Union type

References

[1] https://en.wikipedia.org/wiki/Void_safety

Also known as Null safety, Null-pointer safety.