Term-rewriting programming languages | Logic in computer science | Formal specification languages | Theorem proving software systems

OBJ (programming language)

OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer. (Wikipedia).

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

PERL Tutorial - 1 | PERL Tutorial for Beginners - 1 | Perl Scripting Language Tutorial | Edureka

( https://www.edureka.co/mastering-perl-scripting-self-paced ) Perl is one of the most popular open source interpreted programming languages with a huge number of programmers, libraries and resources. Programmers are using Perl from decades because of its extensive libraries, consistently

From playlist Perl Scripting Tutorial Videos

Video thumbnail

JAVASCRIPT: THE FAIRLY ODD PARTS

JavaScript is the new language of choice for many applications, and it’s certainly a great language for many tasks. But it also has some strange quirks. This lightning talk focuses on some of JavaScript’s weird parts, that you usually don’t run into… unless you try to implement a JavaScrip

From playlist JavaScript

Video thumbnail

A Simple Programming Language - (part 8 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming. Visit http://codeschool.org Please link to the playlist (http://www.youtube.com/playlist?list=PL2F1485C69B311408) rather than this video as individual videos may g

From playlist A Simple Programming Language

Video thumbnail

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

Video thumbnail

Operators in PERL | Learn PERL | PERL Tutorial for Beginners | Edureka

( https://www.edureka.co/mastering-perl-scripting-self-paced ) Perl is one of the most popular open source interpreted programming languages with a huge number of programmers, libraries and resources. Programmers are using Perl from decades because of its extensive libraries, consistently

From playlist Perl Scripting Tutorial Videos

Video thumbnail

Obfuscated C programs: Introduction

If you program long enough, eventually you will run into a programming art category called "obfuscated code" or “code golf”. You can find these especially at IOCCC. In this video I introduce the concept and the basic ideas behind such design. More information below (click "Show more"). I

From playlist Programming

Video thumbnail

Objects And Classes In Python | Python Objects And Classes Tutorial | Python Tutorial | Simplilearn

🔥Artificial Intelligence Engineer Program (Discount Coupon: YTBE15): https://www.simplilearn.com/masters-in-artificial-intelligence?utm_campaign=ObjectandClassesinPython-jaPURUUGa_0&utm_medium=Descriptionff&utm_source=youtube 🔥Professional Certificate Program In AI And Machine Learning: ht

From playlist 🔥Python | Python Tutorial For Beginners | Python Projects | Python Interview Questions And Answers | Updated Python Playlist 2023 | Simplilearn

Video thumbnail

This Pointer In C++ | This Pointer In C++ With Example Program | Pointers In C++ | Simplilearn

In this video on This pointer in C++, we will cover what is This pointer and the working of this pointer in C++. You will also learn how to access the executing object using This pointer in C++. You will get an idea about the features of This pointer in C++ with example program. We will al

From playlist C++ Tutorial Videos

Video thumbnail

File Handling in Java | Reading and Writing File in Java | Java Training | Edureka

🔥 Java Certification Training - https://www.edureka.co/java-j2ee-training-course This Edureka video on "File Handling in Java" will give you a brief insight into various operations (Read, write) to be performed on Java Files. Below topics are covered in this Java file Handling tutorial: 0:

From playlist Java Tutorial For Beginners | Edureka

Video thumbnail

Classes And Objects In Python | Python OOP Tutorial | Python Tutorial For Beginners | Simplilearn

🔥Artificial Intelligence Engineer Program (Discount Coupon: YTBE15): https://www.simplilearn.com/masters-in-artificial-intelligence?utm_campaign=ClassesAndObjectsPythonSep27&utm_medium=Descriptionff&utm_source=youtube 🔥Professional Certificate Program In AI And Machine Learning: https://ww

From playlist Python Programming Tutorials 🔥[2022 Updated]

Video thumbnail

Programming with MATLAB

MATLAB is a high-level language that includes mathematical functions for solving engineering and scientific problems. You can produce immediate results by interactively executing commands one at a time. However, MATLAB also provides features of traditional programming languages, including

From playlist MATLAB and Simulink Livestreams

Video thumbnail

Conditional Statements in C# | If Else Else If in C# | C# Tutorial | C# Programming | Simplilearn

🔥Post Graduate Program In Full Stack Web Development: https://www.simplilearn.com/pgp-full-stack-web-development-certification-training-course?utm_campaign=ConditionalStatementsInC-LwIULGTxs-I&utm_medium=DescriptionFF&utm_source=youtube 🔥Caltech Coding Bootcamp (US Only): https://www.simpl

From playlist C# Training 🔥[2022 Updated]

Video thumbnail

[Rust Programming] Crafting Interpreters: Day 24, Chapter 18 (Part 2), Chapter 19 (Part 1)

In this video we continue to look at the Crafting Interpreters book, and learn how to port it to Rust. Since I'm a Rust beginner, the intent is that it will help me learn the language more in-depth than before. The book: https://craftinginterpreters.com/contents.html Cleaned up the Chunk

From playlist Rust Ports

Video thumbnail

Java Programming | Java Tutorial for Beginners - Step by Step | Java Training | Edureka

🔥 Java Training - https://www.edureka.co/java-j2ee-training-course This Edureka Java Programming tutorial (Java Blog Series: https://goo.gl/12JH8n) will help you in understanding the various fundamentals of Java in detail with examples. This video helps you to learn following topics: 1.

From playlist Java Tutorial For Beginners | Edureka

Video thumbnail

C++ STL Tutorial | C++ STL Algorithm Tutorial | C++ Programming Tutorial For Beginners | Simplilearn

🔥Post Graduate Program In Full Stack Web Development: https://www.simplilearn.com/pgp-full-stack-web-development-certification-training-course?utm_campaign=CPPSTL-m4au_rXy6rc&utm_medium=DescriptionFF&utm_source=youtube 🔥Caltech Coding Bootcamp (US Only): https://www.simplilearn.com/coding-

From playlist C++ Tutorial Videos

Video thumbnail

C# Boxing And Unboxing Explained | Boxing and Unboxing in C# | C# For Beginners | Simplilearn

"This video on C# Boxing And Unboxing Explained will acquaint you with a clear understanding of Boxing and Unboxing in C#. In this tutorial on Boxing and Unboxing in C# for Beginners, you will get proper Introduction To Boxing and Unboxing. We will begin our session with a discussion on Wh

From playlist C# Training 🔥[2022 Updated]

Video thumbnail

Numeric Types in Python - Socratica #Shorts

Find our programming playlists here: Python: http://bit.ly/PythonSocratica SQL: http://bit.ly/SQL_Socratica Python instructor: Ulka Simone Mohanty (@ulkam on Twitter) Written & Produced by Michael Harrison #Python #Coding #Shorts

From playlist Python Programming Tutorials (Computer Science)

Video thumbnail

Encapsulation In C++ | What Is Encapsulation In C++? | C++ Encapsulation Explained | Simplilearn

In this video on Encapsulation in C++, you will learn what is encapsulation in c++ and why do we need encapsulation. You will look understand about access modifiers and see the advantages of using encapsulation. You will also be doing few hands-on demos on encapsulation. 🔥 Explore our FR

From playlist C++ Tutorial Videos

Related pages

Order theory | Formal methods | Rewriting | Automated theorem proving | Maude system | Pattern matching | Lazy evaluation | PostScript | Abstract data type