Search Sciweavers | Sciweavers

3311 search results - page 82 / 663

» Deductive Object Programming

110

click to vote

ENTCS
2008

140views more ENTCS 2008»

Linking Event-B and Concurrent Object-Oriented Programs

14 years 12 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

CORR
2007
Springer

69views Education» more CORR 2007»

Mixing the Objective Caml and C# Programming Models in the .Net Framework

14 years 12 months ago

Download www.pps.jussieu.fr

Emmanuel Chailloux, Grégoire Henry, Rapha&e...

claim paper

Read More »

click to vote

INFORMATICASI
2006

36views more INFORMATICASI 2006»

An Overview of Slicing Techniques for Object-Oriented Programs

14 years 12 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

14 years 12 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

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers