You are here: silicon.com > Resources > White Papers > Software and Web Development > Software Development Tools > Object-Oriented

Object-Oriented White Papers

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs

Overview Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races, and deadlocks. This paper proposes a programming model that prevents data races and deadlocks, and supports local reasoning in the presence of object aliasing and concurrency. The programming model builds on the multithreading and synchronization primitives as they are present in current mainstream languages. Java or C# programs developed according to the model can be annotated by means of stylized comments to make the use of the model explicit. This paper shows that such annotated programs can be formally verified to comply with the programming model.

Further White Paper Details
Publisher	Microsoft	File Format	PDF
Date Published	May 2006
Format	White Papers
Topics	Object-Oriented, Programming Languages

Did you find this white paper useful? 1 out of 4 users found this white paper useful

The Bloor Perspective: Microsoft licensing off, nCipher - Broadcom deal on, and some technical consensus

Most significantly, it seems to have succeeded in the fundamentally important goal of reshaping the mindset of programmers, a precondition to widespread adoption of object oriented programming. The Object Management Group (OMG) is one of those...

Channel:
Comment & Analysis

Those were the days: The Acorn Electron

And keep those Reader Comments or emails (to editorial@silicon.com) coming. And while we've heard from manual writers and others who helped the rest of us get by, we've had a number of Reader Comments from people tempted by the mischief potential...

Channel:
Comment & Analysis

Programming geeks fight to the finish

Between 1998 and 2001, winners of first, second and third prizes have used Haskell and Erlang, both functional languages Dylan, an object-oriented language OCaml, an object-oriented and functional hybrid and Cilk, a parallel imperative variant of...

Channel:
Operating Systems

Borland targets .Net developers

Borland is hoping to appeal to companies seeking an alternative to Microsoft and will extend the .Net Framework - the "plumbing" underlying .Net - to operate with a mix of operating systems and programming languages, said company executives.

W3C to combine web specs

The DOM, which became a recommendation in 1998 and has undergone several updates since then, is the W3C's application programming interface (API) that lets programs and scripting languages such as JavaScript act on individual elements of a web page.

Devil's Advocate: Software never changes

It advertises reuse, one of the claims of object oriented programming. High level languages also encouraged the writing of standard subroutines that could be reused. It came to prominence along with the very earliest high level languages.

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

Object-Oriented White Papers

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific