Analyse von Programmiersprachen ?

[Mark_2]

Hallo.

Kann mir jemnd sagen, was für Möglichkeiten es gibt Programmiersprachen zu unterteilen und einzelne Sprachen
dann auch zu analysieren (auf Vollstängigkeit, Orthogonalität und/oder sowas).

Sehr hilfreich wären auch Links, aber ein paar Schlagworte würden für den Anfang auch erst mal weiterhelfen.

Das (lt. Suchmaschinenbeschreibung) interessanteste Dokument, was ich gefunden habe, war leider komplett in russisch. ?(


Danke, Mark

 

[Tec]

nun die programmiersprachen sind unterteilt in:

imperative:
welche aus prozeduralen sprachen (c, pascal, fortran) und objektorientierten (c++, java) bestehen

deklarative:
welche aus logik sprachen (prolog) und funktionale sprachen (lisp, scheme) bestehen.

sprachen können formalisiert/analysiert werden anhand von regel. das heisst, es werden syntaktische , semantische und lexikalische regeln überprüft.