Program transformation

Tombstone diagram

In computing, tombstone diagrams (or T-diagrams) consist of a set of “puzzle pieces” representing compilers and other related language processing programs. They are used to illustrate and reason about transformations from a source language (left of T) to a target language (right of T) realised in an implementation language (bottom of T). They are most commonly found describing complicated processes for bootstrapping, porting, and self-compiling of compilers, interpreters, and macro-processors. T-diagrams were first used for describing bootstrapping and cross-compiling compilers by Harvey Bratman in 1961, who reshaped the diagrams originally introduced by Strong et al. (1958) to illustrate UNCOL. Later on, others, including McKeeman et al. and P.D. Terry, explained the usage of T-diagrams with further detail. T-diagrams are also now used to describe client-server interconnectivity on the World Wide Web. A teaching tool TDiag has been implemented at Leipzig University, Germany. (Wikipedia).

Tombstone diagram
Video thumbnail

Intersection of Planes on Geogebra

In this video, we look at a strategy for finding the intersection of planes on Geogebra.

From playlist Geogebra

Video thumbnail

2 Construction of a Matrix-YouTube sharing.mov

This video shows you how a matrix is constructed from a set of linear equations. It helps you understand where the various elements in a matrix comes from.

From playlist Linear Algebra

Video thumbnail

Geometrical Snapshots from Ancient Times to Modern Times - Tom M. Apostol - 11/5/2013

The 23rd Annual Charles R. DePrima Memorial Undergraduate Mathematics Lecture by Professor Tom M. Apostol was presented on November 5, 2013, in Baxter Lecture Hall at Caltech in Pasadena, CA, USA. For more info, visit http://math.caltech.edu/events/14deprima.html Produced in association w

From playlist Research & Science

Video thumbnail

Sphere Investigation

Link: https://www.geogebra.org/m/D4hmNy9M

From playlist 3D: Dynamic Interactives!

Video thumbnail

Drawing Sets complete in venn diagram

drawing venn diagram with geogebra, teh video going to guide how draw venn diagram from geogebra. dont forget subscribe to others our videos

From playlist Geogebra Videos

Video thumbnail

Intersection and union of sets 2

drawing intersection and union with geogebra. this video can help you to drawing sets.

From playlist Go Geogebra

Video thumbnail

The golden spiral | Lecture 13 | Fibonacci Numbers and the Golden Ratio

How to construct a golden spiral inside a golden rectangle. Join me on Coursera: https://www.coursera.org/learn/fibonacci Lecture notes at http://www.math.ust.hk/~machas/fibonacci.pdf Subscribe to my channel: http://www.youtube.com/user/jchasnov?sub_confirmation=1

From playlist Fibonacci Numbers and the Golden Ratio

Video thumbnail

Marble automata

I found the plans for this model on this site (http://scrollsawworkshop.blogspot.com.br/2008/10/marble-automation-machine.html). Free 3D model at https://skfb.ly/o6vRE.

From playlist Marble Machines

Video thumbnail

How to end a proof

Some ways to end a proof in math. Which do you prefer? We look at the concept of a tombstone, due to famous mathematician Paul Halmos.

From playlist Math is Fun!

Video thumbnail

Hash table open addressing code

Related Videos: Hash table intro/hash function: https://www.youtube.com/watch?v=2E54GqF0H4s Hash table separate chaining: https://www.youtube.com/watch?v=T9gct6Dx-jo Hash table separate chaining code: https://www.youtube.com/watch?v=Av9kwXkuQFw Hash table open addressing: https://www.youtu

From playlist Data structures playlist

Video thumbnail

Hash Table Open Addressing Removals

Related Videos: Hash table intro/hash function: https://www.youtube.com/watch?v=2E54GqF0H4s Hash table separate chaining: https://www.youtube.com/watch?v=T9gct6Dx-jo Hash table separate chaining code: https://www.youtube.com/watch?v=Av9kwXkuQFw Hash table open addressing: https://www.youtu

From playlist Data structures playlist

Video thumbnail

Josephine Sarah Marcus Earp: Wyatt Earp's Common Law Wife

Join our community of fans and supporters! https://thehistoryguyguild.locals.com/ Josephine Marcus Earp was Wyatt Earp's common-law wife for more than forty years. Yet her story, especially her time in Tombstone, is still shrouded in mystery. This is original content based on research by

From playlist History without War

Video thumbnail

Column space of a matrix

We have already looked at the column view of a matrix. In this video lecture I want to expand on this topic to show you that each matrix has a column space. If a matrix is part of a linear system then a linear combination of the columns creates a column space. The vector created by the

From playlist Introducing linear algebra

Video thumbnail

8 Row and Column Views of a Matrix

The row and column view of a system of linear equations, as well as the matrix as a mathematical object.

From playlist Linear Algebra

Video thumbnail

David Schnepper's Ignite talk, "Isn't That Code Dead?" - Velocity Santa Clara 2014

David Schnepper's (Box) Ignite talk, "Isn't That Code Dead? Give it a Tombstone!", at Velocity Santa Clara 2014. David discusses creating a solution for suspected dead/zombie/ghost code. Watch more Ignite talks: http://goo.gl/df0obv Watch more from the 2014 Velocity Conference: http://goo

From playlist Ignite Velocity Santa Clara 2014

Video thumbnail

Wyatt Earp's Rivals: Old Man Clanton and the Cowboys

The Earps' biggest rivals in Tombstone were the Clantons, but the most interesting Clanton wasn't at the O.K. Corral. The History Guy remembers "Old Man" Clanton and the Cowboys. This is original content based on research by The History Guy. Images in the Public Domain are carefully selec

From playlist Wild West

Video thumbnail

Composite Figure GeoGebra Template

GeoGebra Resource: https://www.geogebra.org/m/dyd4srak

From playlist Geometry: Dynamic Interactives!

Related pages

Metaprogramming