More about language review

[Pietro Braione]

My two cents. I have noticed that the language review 
is somehow biased towards programming languages, with 
little emphasis on languages for specification. I think that 
if we want to reduce the gap between the two the experience 
from specification languages is important. In facts, many 
languages in the review are thought to do both things, 
but I think that languages like Z, B, Petri nets, Trio and such 
can be studied for advantages and disadvantages just like 
programming languages, and yield valuable knowledge 
just like them.
More: Some references on the (meta)topic of programming 
language classification and comparison should be available.
If no reference is available, or no paper gives a satisfiable 
framework for analysis and comparison, it would be nice 
to write one, and maybe to submit it for publication on 
some journal - am I going too fast? :-)

Pietro