2661 search results - page 44 / 533 » A Semantics for Abstraction |
142
click to vote
ICTAC
2009
Springer
16 years 22 days ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
150
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
158
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
There has recently been an upsurge of interest in the possibilities of combining structured data and ad-hoc information retrieval from traditional hypertext. In this experiment, w...
134
click to vote
SNPD
2003
15 years 7 months ago
2003
This paper describes an approach (and its implementation) on how to handle the large number of data from user centered engineering processes. It uses objectoriented abstraction me...
146
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...