A theory of platform-dependent low-level software.
Marius NitaDan GrossmanCraig ChambersPublished in: POPL (2008)
Keyphrases
- low level
- real time
- software platform
- high level
- higher level
- software design
- software development
- theoretical basis
- software systems
- visual features
- software maintenance
- simulation software
- software package
- software components
- platform independent
- general theory
- hardware design
- personal computer
- theoretical framework
- computational model
- user interface
- software developers
- graphical user interfaces
- runtime environment
- enterprise application
- computing platform
- mid level
- formal methods
- conceptual framework
- computer systems
- information systems