Formal specification languages

Eiffel (programming language)

Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software. Meyer conceived the language in 1985 with the goal of increasing the reliability of commercial software development; the first version becoming available in 1986. In 2005, Eiffel became an ISO-standardized language. The design of the language is closely connected with the Eiffel programming method. Both are based on a set of principles, including design by contract, command–query separation, the uniform-access principle, the single-choice principle, the open–closed principle, and option–operand separation. Many concepts initially introduced by Eiffel later found their way into Java, C#, and other languages. New language design ideas, particularly through the Ecma/ISO standardization process, continue to be incorporated into the Eiffel language. (Wikipedia).

Eiffel (programming language)
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

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

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

Video thumbnail

Scripting vs Programming :Major Difference Between Scripting And Programming | #Shorts | Simplilearn

🔥Explore Our Free Courses With Completion Certificate by SkillUp: https://www.simplilearn.com/skillup-free-online-courses?utm_campaign=ScriptingvsProgramming&utm_medium=ShortsDescription&utm_source=youtube A scripting language is a computer language that does not require compilation and i

From playlist #Shorts | #Simplilearn

Video thumbnail

Clojure - the Reader and Evaluator (2/4)

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

Stanford CS224N NLP with Deep Learning |Spring 2022|Guest Lecture: Building Knowledge Representation

For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai To learn more about this course visit: https://online.stanford.edu/courses/cs224n-natural-language-processing-deep-learning To follow along with the course sche

From playlist Stanford CS224N: Natural Language Processing with Deep Learning | Winter 2021

Video thumbnail

3D Game Maker (C++ and OpenGL)

This is something I have been working on as a hobby for several months. It's my game engine I have been programming from scratch. I have a lot more I would like to add but here is what I have so far.

From playlist 3D Programming

Video thumbnail

Clojure - creating macros

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

Clojure - collections (4/6)

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

The Algorithmic Lens: How the Computational Perspective by Christos H Papadimitriou

ICTS at Ten ORGANIZERS: Rajesh Gopakumar and Spenta R. Wadia DATE: 04 January 2018 to 06 January 2018 VENUE: International Centre for Theoretical Sciences, Bengaluru This is the tenth year of ICTS-TIFR since it came into existence on 2nd August 2007. ICTS has now grown to have more tha

From playlist ICTS at Ten

Video thumbnail

Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen

Whether you checked the weather app or not on the day before 22 Jan 2016, a huge snow storm covered the Eastern United States that weekend. If you lived in New York or DC, you had to dig out from under a large load of snow the next morning. In the face of such storms, the good news is tha

From playlist Clojure, Lisp

Video thumbnail

Elementary Introduction To Wolfram Language - Machine Learning | Session 15 | #datascience

Don’t forget to subscribe! This project series is an elementary introduction to the wolfram language. Developed by Wolfram Research, it is a multi-paradigm programming language. It is the language of the mathematical symbolic computation program Mathematica. It is scalable for programs

From playlist Elementary Introduction To Wolfram Language

Video thumbnail

RubyConf 2011 Writing Solid Ruby Code by Jim Weirich

Do you always seem to be fixing bugs in your software project? Are you spending more time fixing defects that actually implementing new behavior? If so, this talk is for you. In the mid-90s, Steve Maquire wrote a book that strongly effected the way I developed software. Primarily writing i

From playlist Ruby Conference 2011

Video thumbnail

10. Deconstruction I

Introduction to Theory of Literature (ENGL 300) In this lecture on Derrida and the origins of deconstruction, Professor Paul Fry explores two central Derridian works: "Structure, Sign, and Play in the Discourse of Human Sciences" and "Différance." Derrida's critique of structuralism and

From playlist Introduction to Theory of Literature with Paul H. Fry

Video thumbnail

Are These Software Myths TRUE or FALSE?

Software Development is full of myths and we programmers are as subject to our biology as anyone else, and so as fallible in separating myth from fact. So here are a few software engineering myths to think about, what is the truth about software engineering? In this episode Dave Farley in

From playlist Software Engineering

Video thumbnail

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

Video thumbnail

Building a Semantic Search Engine on Hugging Face | Future of Data & AI | Data Science Dojo

Unlock the power of semantic search with this hands-on tutorial. Learn how to build a semantic search engine from scratch and deploy it as an API on Hugging Face. Perfect for data scientists, engineers, and developers, this tutorial will cover natural language processing techniques and how

From playlist Future of Data and AI: Tutorials

Related pages

Postcondition | Lambda calculus | Scala (programming language) | Garbage collection (computer science) | Open–closed principle | Type system | Polymorphism (computer science) | Generic programming | Precondition | Z notation | Currying | Racket (programming language) | Abstract data type | Hash table