H ? « ‹ ← → › »

Language peer sets for SAL:
Denmark↑
Denmark/1977↑
Designed 1977 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Other algorithmic ↑
Specialised Languages ↑
Other algorithmic↑
Imperative↑
Algorithmic ↑
Other algorithmic/1977↑
Imperative/1977↑
Algorithmic/1977↑
Other algorithmic/Denmark↑
Imperative/Denmark↑
Algorithmic/Denmark↑
Specialised Languages ↑
Specialised Languages/1977↑
Specialised Languages/dk ↑

SAL(ID:7983/)

Paper language suitable for semantic definition

alternate simple view

Country: Denmark
Designed 1977
Genus: Other algorithmic
Sammet category: Specialised Languages

Paper language presented by Bjorner as an introduction to VML semantics

References:

Bjorner, D (1977) Bjorner, D "Programming languages: formal development of interpreters and compilers" pp1-22.
in [Proceedings] (1977) Proceedings of the Fifth International Computer Symposium, 1977

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder