(language) (AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
Last updated: 1995-03-13
Better Than TripAdvisor
- Holiday destination reviews, hotel information,
pictures, sightseeing advice and food reviews.
Updated: Tue Jul 26 01:35:58 2016
No longer supported by Imperial College Department of Computing
Copyright Denis Howe 1985