1837 search results - page 7 / 368 » Abstraction and the C Machine Model |
JUCS
2008
13 years 8 months ago
2008
APAL
2005
13 years 8 months ago
2005
SAC
2000
ACM
14 years 29 days ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
FSEN
2007
Springer
14 years 2 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...