26 relations: Capability-based security, Computer security, Concurrent computing, Cross-platform, Dalvik (software), Data type, Deadlock, Distributed computing, Encryption, Event-driven programming, Expression (computer science), Free software license, Futures and promises, Java (programming language), Joule (programming language), Mark S. Miller, Message passing, Object-capability model, Object-oriented programming, Pascal (programming language), Process (computing), Programming paradigm, Python (programming language), Scope (computer science), Strong and weak typing, Type system.
Capability-based security is a concept in the design of secure computing systems, one of the existing security models.
Computer security, also known as cybersecurity or IT security, is the protection of information systems from theft or damage to the hardware, the software, and to the information on them, as well as from disruption or misdirection of the services they provide.
Concurrent computing is a form of computing in which several computations are executing during overlapping time periods – concurrently – instead of sequentially (one completing before the next starts).
In computing, cross-platform, multi-platform, or platform independent, is an attribute conferred to computer software or computing methods and concepts that are implemented and inter-operate on multiple computer platforms.
Dalvik is a process virtual machine (VM) in Google's Android operating system that executes applications written for Android.
In computer science and computer programming, a data type or simply type is a classification identifying one of various types of data, such as real, integer or Boolean, that determines the possible values for that type; the operations that can be done on values of that type; the meaning of the data; and the way values of that type can be stored.
In concurrent programming, a deadlock is a situation in which two or more competing actions are each waiting for the other to finish, and thus neither ever does.
Distributed computing is a field of computer science that studies distributed systems.
In cryptography, encryption is the process of encoding messages or information in such a way that only authorized parties can read it.
In computer programming, event-driven programming is a programming paradigm in which the flow of the program is determined by events such as user actions (mouse clicks, key presses), sensor outputs, or messages from other programs/threads.
An expression in a programming language is a combination of one or more explicit values, constants, variables, operators, and functions that the programming language interprets (according to its particular rules of precedence and of association) and computes to produce ("to return", in a stateful environment) another value.
A free software licence is a notice that grants the recipient of a piece of software extensive rights to modify and redistribute that software.
In computer science, future, promise, and delay refer to constructs used for synchronization in some concurrent programming languages.
Java is a general-purpose computer programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible.
Joule is a concurrent dataflow programming language, designed for building distributed applications.
Mark S. Miller is an American computer scientist.
In computer science, message passing sends a message to a process (which may be an actor or object) and relies on the process and the supporting infrastructure to select and invoke the actual code to run.
The object-capability model is a computer security model.
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which are data structures that contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A distinguishing feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").
Pascal is a historically influential imperative and procedural programming language, designed in 1968–1969 and published in 1970 by Niklaus Wirth as a small and efficient language intended to encourage good programming practices using structured programming and data structuring. A derivative known as Object Pascal designed for object-oriented programming was developed in 1985.
In computing, a process is an instance of a computer program that is being executed.
A programming paradigm is a fundamental style of computer programming, serving as a way of building the structure and elements of computer programs.
Python is a widely used general-purpose, high-level programming language.
In computer programming, the scope of a name binding – an association of a name to an entity, such as a variable – is the part of a computer program where the binding is valid: where the name can be used to refer to the entity.
In computer programming, programming languages are often colloquially classified as strongly typed or weakly typed.
In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules.