Programming Languages

Definition of Programming Languages as it relates to Science, Mathematics, Theoretical Computer Science

Programming Languages encompasses the formal languages, including syntax and semantics, which computers use for communication and executing tasks. This field intertwines with theoretical computer science as it delves into the principles of computation, automata theory, type systems, and computational complexity. It also draws upon mathematics and science to form foundations, models, and methodologies in language design, implementation, and analysis. The study of programming languages spans a range of topics from formal grammars and parsing techniques to semantics, type systems, concurrency, and domain-specific languages, all aimed at enhancing expressiveness, maintainability, reliability, and performance of software systems.

Note
  • [zcai.org] Zixian Cai | PhD student @ The Australian National University. Programming languages, computer architecture, and performance analysis/optimization.
  • [esolangs.org] Esolang, the esoteric programming languages wiki
  • [racket.discourse.group] Racket Discourse - The Racket community uses languages to build programs, and programs to build languages
  • [icalp2022.irif.fr] ICALP 2022 – International Colloquium on Automata, Languages, and Programming
  • [blog.xojo.com] Xojo Programming Blog – Blog about the Xojo programming language and IDE
  • [h.within.lgbt] The h Programming Language
  • [eldp.net] Endangered Languages Documentation Programme (ELDP)
  • [vpgl.net] A Visual Programming Graphical Language – On Tablet/Mobile phone
  • [rescript-lang.org] The ReScript Programming Language
  • [elmprogramming.com] Beginning Elm: a gentle introduction to Elm programming language - Beginning Elm
  • [visual-prolog.com] Visual Prolog: A Versatile Programming Language
  • [leo-lang.org] Leo | Zero-Knowledge Programming Language
  • [axa6.com] AQ The Simple, Fast, and Secure Programming Language
  • [Serene.org] Serene Programming Language
  • [rust-lang.org] Rust Programming Language
  • [groovy-lang.org] The Apache Groovy programming language
  • [go.dev] The Go Programming Language
  • [dart.dev] Dart programming language | Dart
  • [alltalk.csparks.com] Alltalk - An interactive object-oriented programming language
  • [soliditylang.org] Home | Solidity Programming Language
  • [pulumi.com] Pulumi - Infrastructure as Code in Any Programming Language
  • [go-lang.cat-v.org] Go Programming Language Resources
  • [ballerina.io] The Ballerina programming language
  • [julialang.org] The Julia Programming Language
  • [thinbasic.com] thinBasic Programming Language
  • [chuck.cs.princeton.edu] ChucK = A Strongly-Timed Music Programming Language
  • [phpwomen.org] 7 Reasons Why Beginner Programmers Should Study PHP Programming Language | Robots.net
  • [red-lang.org] Red Programming Language
  • [qb64.com] QB64.com | QB64 is a modern extended BASIC programming language that retains QBasic/QuickBASIC 4.5 compatibility and compiles native binaries for Windows, Linux, and macOS.
  • [rakudo.org] Rakudo Compiler - Rakudo Compiler for Raku Programming Language
  • [Tuppence.net] GitHub - rowland/tuppence: Tuppence Programming Language
  • [guile.scheme.org] GNU's programming and extension language GNU Guile
  • [vlang.io] The V Programming Language
  • [oxpl.org] Ontology-assisted Experimental Programming Language - OXPL
  • [qore.org] Qore Programming Language
  • [nzym.org] Introducing NZYM: the Programming Language that Will Revolutionize Multimedia
  • [elixir-lang.org] The Elixir programming language
  • [perlweekly.com] Perl Weekly: A Free, Weekly Email Newsletter for the Perl Programming language
  • [Scheme.org] The Scheme Programming Language
  • [Raku.org] Raku Programming Language
  • [Delphi.org] The Podcast at Delphi.org – The Podcast about the Delphi programming language, tools, news and community.
  • [Perl.org] The Perl Programming Language - www.perl.org
  • [Ef.com] EF Education First | Educational Tours Language Programs Abroad
  • [qpje.org] The Queensland Program for Japanese Education – Supporting Japanese language education in Queensland and the Northern Territory
  • [cea-accredit.org] Home - The Commission on English Language Program Accreditation
  • [sipuebla.com] Spanish Immersion | Spanish Language Schools | Spanish Programs In Mexico
  • [seassi.wisc.edu] Southeast Asian Studies Summer Institute (SEASSI) – LANGUAGE PROGRAM OFFICE, UW-MADISON – UWMadison
  • [braveclojure.com] Learn to Program the World's Most Bodacious Language with Clojure for the Brave and True
  • [wep.org.au] Academic and language study programs abroad
Related Categories ⇒