Industrial Control
Systems and software used to control and monitor industrial processes.
Details
Plangs
| Name | Description |
|---|---|
| Ada | High-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems. |
| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
| AMPL | Algebraic modeling language for complex optimization problems in large-scale computing. |
| APL | A concise programming language focused on multi-dimensional arrays, using unique symbols to represent functions, influencing modeling and functional programming. |
| Assembly | Low-level programming language closely aligned with machine code instructions. |
| BASIC | Family of high-level programming languages created in 1964 to make programming more accessible. |
| C | General-purpose language foundational in systems and application programming. |
| C++ | General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms. |
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
| Clojure | Dynamic language known for its expressiveness and concurrent processing capabilities. |
| Common Lisp | A high-performance, ANSI-standardized Lisp dialect recognized for its flexibility and macro system, supporting multiple programming paradigms. |
| Csound | Flexible, high-quality, domain-specific programming language for sound and music computing. |
| D | Modern system programming language influenced by C++ with multiple paradigms and expressive features. |
| Datalog | Declarative logic programming language and subset of Prolog, used for deductive databases. |
| Delphi | General-purpose programming language with an IDE for rapid application development, using the Delphi dialect of Object Pascal. |
| Eiffel | Object-oriented programming language emphasizing design by contract. |
| Emacs Lisp | Lisp dialect for extending the Emacs editor. |
| F# | Functional-first language on the .NET platform, known for its strong typing and multi-paradigm capabilities. |
| Flutter | Toolkit for creating natively compiled cross-platform apps from a single codebase. |
| Forth | Stack-oriented programming language known for its flexibility, efficiency, and use in embedded systems. |
| Fortran | Language optimized for high-performance numerical computation and scientific computing. |
| Free Pascal | Pascal compiler supporting multiple architectures and dialects. |
| Go | Statically typed, compiled language with memory safety and CSP-style concurrency, designed at Google. |
| GraalVM | High-performance runtime for multiple languages including Java, Python, and WebAssembly, with polyglot capabilities. |
| Haskell | Statically-typed, purely functional language known for type inference and lazy evaluation. |
| Haxe | High-level cross-platform language and compiler for multiple platforms. |
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
| JavaScript | Scripting language essential for web interactivity and development. |
| Julia | A dynamic language designed for numerical and scientific computing with strong support for parallel computing and multiple dispatch. |
| Kotlin | Concise, statically typed language interoperative with Java, targeting JVM and other platforms. |
| LabVIEW | Graphical environment for data acquisition and industrial automation. |
| Lisp | Family of programming languages known for its fully parenthesized prefix notation and influence on AI research. |
| Lua | Lightweight, high-level language designed for embedding in applications. |
| Max | Visual language used for multimedia and music creation. |
| Modelica | Non-proprietary, object-oriented language for modeling complex physical systems across multiple domains. |
| MoonScript | Dynamic scripting language compiling to Lua with CoffeeScript-inspired syntax. |
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
| Perl | Dynamic language known for its text-processing capabilities. |
| Processing | Language for visual and multimedia programming. |
| Prolog | Logic programming language used in AI and theorem proving, influenced by first-order logic for declarative tasks. |
| Pure | Based on term rewriting, integrating symbolic computation and JIT compilation via LLVM. |
| Pure Data | Visual programming language for interactive computer music and multimedia. |
| Python | Dynamic, high-level programming language known for its easy-to-read syntax. |
| R5RS | R5RS is the fifth version of Scheme, emphasizing minimalist and functional programming. |
| Racket | Multi-paradigm language derived from Lisp and Scheme, known for powerful macros and libraries. |
| Rebol | Cross-platform multi-paradigm language known for its dialects and simplicity. |
| Ruby | Interpreted, high-level language focused on productivity and simplicity. |
| Rust | General-purpose programming language emphasizing performance, type safety, and concurrency. |
| Scala | Statically typed language supporting both object-oriented and functional programming, known for addressing Java's criticisms and supporting concurrent, distributed systems. |
| Self | Prototype-based dynamic OOP language, influenced by Smalltalk and APL, impacting JavaScript. |
| Simulink | Graphical programming environment for dynamic system modeling and analysis integrated with MATLAB. |
| SQL | Domain-specific language for managing data in relational databases. |
| Standard ML | Functional programming language known for its type inference and usage in compiler writing. |
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
| Swift | Developed by Apple for its platforms, with a focus on safety and performance. |
| Tcl | Dynamic, interpreted programming language known for its extensibility, embeddability, and support for multiple paradigms. |
| Visual Basic | Multi-paradigm language developed by Microsoft for Windows applications. |
| Xojo | Cross-platform development tool and proprietary object-oriented programming language for building native applications. |
| XQuery | W3C language for querying and transforming XML data using XPath. |
| XSLT | Declarative language for transforming XML documents. |
| Zig | System programming language designed as an improvement over C/C++ with native error handling and performance enhancements. |