Sciweavers

10912 search results - page 62 / 2183
» Object-Oriented Programming Languages
Sort
View
ENTCS
2008
140views more  ENTCS 2008»
13 years 10 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
INFORMATICASI
2006
36views more  INFORMATICASI 2006»
13 years 10 months ago
An Overview of Slicing Techniques for Object-Oriented Programs
Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar
JOT
2008
57views more  JOT 2008»
13 years 10 months ago
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
Manuel Fähndrich, Diego Garbervetsky, Wolfram...