Professor Fish
3/14/2012
Should I declare defeat on the research topic of API migration?
3/13/2012
More than you ever wanted to know about grammar-based testing
3/08/2012
Technical space travel for developers, researchers, and educators
Ralf Lämmel (University of Koblenz-Landau)
Title:
Technical space travel for developers, researchers, and educators
Abstract:
2/28/2012
More of a discussion on web privacy
2/05/2012
MegaL goes Nantes
12/08/2011
Ein Weihnachtsgedicht
(C) Professor Fish, aka Ralf Lämmel
Stille Nacht! Unheilvolle Nacht!
Alles schläft; einsam wacht
nur der Bachelor-Student,
der nie pennt,
der nur rennt.
So viele Prüfungen, o weh!
So viele Prüfungen, o weh!
Stille Nacht! Unheilvolle Nacht!
Die wird wieder durchgemacht.
Bester Student, o wie lacht
bös' aus Deinem Gesicht
die Aversion gegen Bologna's Gericht.
So viele Regularien, o weh!
So viele Regularien, o weh!
Stille Nacht! Unheilvolle Nacht!
Was hat man nur aus dem Uni-Studium gemacht?
Es ist nicht Bologna allein.
Andere Trends reihen sich hier ein.
Das Denken an Deutschland in der Nacht,
hat auch den Professor um den Schlaf gebracht.
Lautes Land! Unheilvolles Land!
O Marx, gib mir Eltern,
die Kinder fordern anstatt Lehrer zu quälen.
O Lenin, gib mir Erstsemester,
die wissen wollen anstatt videozugamen.
Früher war alles besser, o weh!
Früher war alles besser, o weh!
Stille Nacht! Unheilvolle Nacht!
Soll es Weihnachten nun sein,
dann Tod den Enten und glühe der Wein.
Der Wunschzettel ist auch schon da.
Merkel & Co. machen es klar.
Merkel & Co. machen es klar.
12/07/2011
A riddle regarding type safety
What would be a super-trivial language with a type system and an SOS semantics such that type safety is violated?
Syntax of expressions
e ::= v | z
(Hence, there are expressions (forms) x, y and z.)
Values (normal forms)
v := x | y
Types
t ::= a | b
(a and b are the possible types.)
Small-step relation
z -> x
(Yes, we only have one axiom.)
Typing rules
x : a
y : b
z : b
(Yes, we have only axioms here.)
Demonstration of lack of type safety
The term z is the culprit.
z : b but z -> x and x : a