Search Sciweavers | Sciweavers

3926 search results - page 35 / 786

» A Logic of Object-Oriented Programs

137

click to vote

ENTCS
2008

140views more ENTCS 2008»

Linking Event-B and Concurrent Object-Oriented Programs

15 years 3 months ago

Download eprints.ecs.soton.ac.uk

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

claim paper

Read More »

click to vote

INFORMATICASI
2006

36views more INFORMATICASI 2006»

An Overview of Slicing Techniques for Object-Oriented Programs

15 years 3 months ago

Download www.informatica.si

Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar

claim paper

Read More »

click to vote

JOT
2008

57views more JOT 2008»

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs

15 years 3 months ago

Download www.jot.fm

Manuel Fähndrich, Diego Garbervetsky, Wolfram...

claim paper

Read More »

click to vote

JOT
2008

71views more JOT 2008»

Mapping and Visiting in Functional and Object-Oriented Programming

15 years 3 months ago

Download www.jot.fm

Kurt Nørmark, Bent Thomsen, Lone Leth Thoms...

claim paper

Read More »

click to vote

JISE
2000

68views more JISE 2000»

Flow Analysis of Class Relationships for Object-Oriented Programs

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers