27 relations: Apache License, C (programming language), Cross-platform, Dafny, Dependent type, F Sharp (programming language), Formal verification, French Institute for Research in Computer Science and Automation, Functional programming, GitHub, Imperative programming, JavaScript, Linux, MacOS, Microsoft Research, Microsoft Windows, ML (programming language), Monad (functional programming), OCaml, Programming paradigm, Proof assistant, Satisfiability modulo theories, Side effect (computer science), Standard ML, Strong and weak typing, Type inference, Type system.
Apache License
The Apache License is a permissive free software license written by the Apache Software Foundation (ASF).
New!!: F* (programming language) and Apache License · See more »
C (programming language)
C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.
New!!: F* (programming language) and C (programming language) · See more »
Cross-platform
In computing, cross-platform software (also multi-platform software or platform-independent software) is computer software that is implemented on multiple computing platforms.
New!!: F* (programming language) and Cross-platform · See more »
Dafny
Dafny is an imperative compiled language that targets C# and supports formal specification through preconditions, postconditions, loop invariants and loop variants.
New!!: F* (programming language) and Dafny · See more »
Dependent type
In computer science and logic, a dependent type is a type whose definition depends on a value.
New!!: F* (programming language) and Dependent type · See more »
F Sharp (programming language)
F# (pronounced F sharp) is a strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods.
New!!: F* (programming language) and F Sharp (programming language) · See more »
Formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.
New!!: F* (programming language) and Formal verification · See more »
French Institute for Research in Computer Science and Automation
The French Institute for Research in Computer Science and Automation (Institut national de recherche en informatique et en automatique) is a French national research institution focusing on computer science and applied mathematics.
New!!: F* (programming language) and French Institute for Research in Computer Science and Automation · See more »
Functional programming
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
New!!: F* (programming language) and Functional programming · See more »
GitHub
GitHub Inc. is a web-based hosting service for version control using Git.
New!!: F* (programming language) and GitHub · See more »
Imperative programming
In computer science, imperative programming is a programming paradigm that uses statements that change a program's state.
New!!: F* (programming language) and Imperative programming · See more »
JavaScript
JavaScript, often abbreviated as JS, is a high-level, interpreted programming language.
New!!: F* (programming language) and JavaScript · See more »
Linux
Linux is a family of free and open-source software operating systems built around the Linux kernel.
New!!: F* (programming language) and Linux · See more »
MacOS
macOS (previously and later) is a series of graphical operating systems developed and marketed by Apple Inc. since 2001.
New!!: F* (programming language) and MacOS · See more »
Microsoft Research
Microsoft Research is the research subsidiary of Microsoft.
New!!: F* (programming language) and Microsoft Research · See more »
Microsoft Windows
Microsoft Windows is a group of several graphical operating system families, all of which are developed, marketed, and sold by Microsoft.
New!!: F* (programming language) and Microsoft Windows · See more »
ML (programming language)
ML (Meta Language) is a general-purpose functional programming language.
New!!: F* (programming language) and ML (programming language) · See more »
Monad (functional programming)
In functional programming, a monad is a design pattern that defines how functions, actions, inputs, and outputs can be used together to build generic types, with the following organization.
New!!: F* (programming language) and Monad (functional programming) · See more »
OCaml
OCaml, originally named Objective Caml, is the main implementation of the programming language Caml, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996.
New!!: F* (programming language) and OCaml · See more »
Programming paradigm
Programming paradigms are a way to classify programming languages based on their features.
New!!: F* (programming language) and Programming paradigm · See more »
Proof assistant
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.
New!!: F* (programming language) and Proof assistant · See more »
Satisfiability modulo theories
In computer science and mathematical logic, the satisfiability modulo theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.
New!!: F* (programming language) and Satisfiability modulo theories · See more »
Side effect (computer science)
In computer science, a function or expression is said to have a side effect if it modifies some state outside its scope or has an observable interaction with its calling functions or the outside world besides returning a value.
New!!: F* (programming language) and Side effect (computer science) · See more »
Standard ML
Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
New!!: F* (programming language) and Standard ML · See more »
Strong and weak typing
In computer programming, programming languages are often colloquially classified as to whether the language's type system makes it strongly typed or weakly typed (loosely typed).
New!!: F* (programming language) and Strong and weak typing · See more »
Type inference
Type inference refers to the automatic detection of the data type of an expression in a programming language.
New!!: F* (programming language) and Type inference · See more »
Type system
In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.
New!!: F* (programming language) and Type system · See more »
References
[1] https://en.wikipedia.org/wiki/F*_(programming_language)