Sciweavers

10912 search results - page 62 / 2183
» Object-Oriented Programming Languages
Sort
View
ENTCS
2008
140views more  ENTCS 2008»
15 years 2 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»
15 years 2 months ago
An Overview of Slicing Techniques for Object-Oriented Programs
Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar
61
Voted
JOT
2008
57views more  JOT 2008»
15 years 2 months ago
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
Manuel Fähndrich, Diego Garbervetsky, Wolfram...