Formal specification languages
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity. Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively. A fourth version of the SPARK language, SPARK 2014, based on Ada 2012, was released on April 30, 2014. SPARK 2014 is a complete re-design of the language and supporting verification tools. The SPARK language consists of a well-defined subset of the Ada language that uses contracts to describe the specification of components in a form that is suitable for both static and dynamic verification. In SPARK83/95/2005, the contracts are encoded in Ada comments and so are ignored by any standard Ada compiler, but are processed by the SPARK "Examiner" and its associated tools. SPARK 2014, in contrast, uses Ada 2012's built-in "aspect" syntax to express contracts, bringing them into the core of the language. The main tool for SPARK 2014 (GNATprove) is based on the GNAT/GCC infrastructure, and re-uses almost the entirety of the GNAT Ada 2012 front-end. (Wikipedia).
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
The Wolfram Language + Unity Game Engine
A quick demonstration of the embedded Wolfram Engine inside the Unity Game Engine IDE. To learn more about the Wolfram Language, visit http://www.wolfram.com/language For the latest information visit: http://reference.wolfram.com/language http://www.wolfram.com
From playlist Wolfram Language
The C programming language (unit 2) - 4 of 5 (old version; watch new version instead)
A continuation of discussing the C programming language. This unit goes more into depths on pointers and arrays. Visit http://codeschool.org
From playlist The C language (unit 2)
Scientific Notation to Decimal Form: Quick Question Generator w/Feedback
Link: https://www.geogebra.org/m/zeYuKGFn
From playlist Algebra 1: Dynamic Interactives!
An introduction to the Go programming language. Assumes knowledge of Javascript. Part of a larger series at http://codeschool.org
From playlist The Go Language
The Wolfram Compiler is a long-term project for the compilation of Wolfram Language programs. It converts Wolfram Language into native machine code and provides a faster execution path as well as many opportunities for innovative programming features. It is used for an increasing amount of
From playlist Wolfram Technology Conference 2021
Programming Languages - (part 6 of 7)
How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org
From playlist Programming Languages
Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.
From playlist The Julia Computer Language
Big Data Analytics With Spark | Big Data and Spark Tutorial | Spark for Beginners | Edureka
( Apache Spark Training - https://www.edureka.co/apache-spark-scala-training ) This Apache Spark tutorial explains why and how Spark can be used for Big Data Analytics. This Spark tutorial is specially designed to help beginners to learn Big Data Analytics with Spark. To attend a live cla
From playlist Webinars by Edureka!
Apache Spark Tutorial | Apache Scala Tutorial | Simplilearn
๐ฅProfessional Certificate Program In Data Engineering: https://www.simplilearn.com/pgp-data-engineering-certification-training-course?utm_campaign=ApacheSparkTutorial-pbvoxfi5FGc&utm_medium=DescriptionFF&utm_source=youtube Apache Spark and Scala This Video is compounded of 3 lessons, Les
From playlist Apache Spark & Scala Tutorial Videos [2022 Updated]
What is Apache Spark? | Introduction to Apache Spark | Apache Spark Certification | Simplilearn
This Simplilearn video on "What is Apache Spark?" will help you understand Spark's history, what is Spark, Hadoop vs Spark, components of Apache Spark, Spark architecture, applications of Spark along with a use case explanation. This Spark tutorial is designed for beginners who want to get
From playlist Apache Spark & Scala Tutorial Videos [2022 Updated]
Big Data Analytics Using Python | Python Big Data Tutorial | Python And Big Data | Simplilearn
๐ฅ Data Analyst Master's Program (Discount Code: YTBE15): https://www.simplilearn.com/data-analyst-masters-certification-training-course?utm_campaign=Hadoop-cUw3DsDpQCE&utm_medium=DescriptionFirstFold&utm_source=youtube ๐ฅ Professional Certificate Program In Data Analytics: https://www.simpl
From playlist Big Data Hadoop Tutorial Videos | Simplilearn [2022 Updated]
Scala Language | Scala Tutorial For Beginners | Scala Functional Programming | Edureka
( Apache Spark Training - https://www.edureka.co/apache-spark-scala-training ) This Scala Language Tutorial will help you understand Functional Programming in Scala. Unlike other traditional functional languages, Scala allows a gradual, easy migration to a more functional style. This tutor
From playlist Scala Tutorial Videos
PySpark Training | PySpark Tutorial for Beginners | Apache Spark with Python | Edureka
** Python Spark Certification Training: https://www.edureka.co/pyspark-certification-training ** This Edureka videos on PySpark Training will help you learn about PySpark API. You will get to know how python can be used with Apache Spark for Big Data Analytics. Edureka's structured traini
From playlist PySpark Tutorial for Beginners | Edureka
PySpark Full Course [2023] | Learn PySpark | PySpark Tutorial | Edureka
๐ฅ๐๐๐ฎ๐ซ๐๐ค๐ ๐๐ฒ๐๐ฉ๐๐ซ๐ค ๐๐๐ซ๐ญ๐ข๐๐ข๐๐๐ญ๐ข๐จ๐ง ๐๐ซ๐๐ข๐ง๐ข๐ง๐ ๐๐จ๐ฎ๐ซ๐ฌ๐ (Use code "๐๐๐๐๐๐๐๐๐") : https://www.edureka.co/pyspark-certification-training This Edureka PySpark Full Course video will help you understand and learn PySpark in detail. This Spark tutorial is ideal for both beginners as well as professiona
From playlist PySpark Tutorial for Beginners | Edureka
PySpark Training | PySpark Tutorial For Beginners | Apache Spark With Python Tutorial | Simplilearn
๐ฅArtificial Intelligence Engineer Program (Discount Coupon: YTBE15): https://www.simplilearn.com/masters-in-artificial-intelligence?utm_campaign=PySparkTraining-bHDBv1xC-_o&utm_medium=Descriptionff&utm_source=youtube ๐ฅProfessional Certificate Program In AI And Machine Learning: https://www
From playlist Apache Spark & Scala Tutorial Videos [2022 Updated]
Clojure - the Reader and Evaluator (4/4)
Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org
From playlist the Clojure language
What Is Pyspark? | Introduction to Pyspark | Why Use Pyspark? | Pyspark For Beginners | Simplilearn
This video on "What is PySpark" will give you a brief understanding of PySpark, its key features, Usecases of Pyspark in the industry, and many more. In order to Understand Pyspark and its use in the big data world, we must first understand Apache Spark. Therefore, this tutorial also cover