The Formal Specification of an Abstract Machine: Design and Implementation.
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
The high cost of porting software from one machine to another stems from the ad hoc way in which the programmers problem solving abstraction interacts with the machines physical resource abstraction. If this interaction could be formalized, the well known semantic gap would at least be better understood, if not narrowed significantly. This thesis applies techniques borrowed from contemporary research in abstract data type specification to design, specify and implement the physical resources of an abstract machine called AM. Additional keywords Algebraic semantics Software portability problem high level languages. Author
- Computer Programming and Software