program

White Papers

Template-Based Program Verification and Program Synthesis

December 26, 2011 12:00am PST

Program verification is the task of automatically generating proofs for a program's compliance with a given specification. Program synthesis is the task of automatically generating a program that...

Provided by: University of California

White Papers

Template-Based Program Veri Cation and Program Synthesis

December 26, 2011 12:00am PST

Program verification is the task of automatically generating proofs for a program's compliance with a given specification. Program synthesis is the task of automatically generating a program that...

Provided by: University of California

White Papers

Fault Localization for Java Programs Using Probabilistic Program Dependence Graph

November 1, 2011 12:00am PDT

Fault localization is a process to find the location of faults. It determines the root cause of the failure. It identifies the causes of abnormal behaviour of a faulty program. It identifies...

Provided by: International Journal of Computer Science Issues

White Papers

Program Logics for Homogeneous Meta-Programming

May 14, 2010 12:00am PDT

A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Meta-programming has been...

Provided by: University of Sussex

White Papers

Robust Learning for Adaptive Programs by Leveraging Program Structure

September 30, 2010 12:00am PDT

The authors study how to effectively integrate Reinforcement Learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic structures that...

Provided by: Oregon State University

Software

ProgrammingTube - a programming video lounge 9.0 (Mobile)

August 6, 2009 12:00am PDT

Kick back and watch some of the best programming videos available on the iPhone.ProgrammingTube is the premier place for programming videos. We hope you like it!We hang out in the chat room a...

Provided by: xhumans

White Papers

From Program Verification to Program Synthesis

January 23, 2010 12:00am PST

This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier by allowing...

Provided by: Association for Computing Machinery

Articles

A new aspect to programming?

April 8, 2005 10:24am PDT

Aspect Oriented Programming (AOP) is an approach that has emerged out of object-oriented programming. Is it really an evolutionary methodology that has attracted plenty of hype, and is it...

Articles

IBM fires up new Stinger

July 30, 2004 11:09am PDT

IBM today quietly released an update for the beta program of their upcoming DB2 release, code-named "Stinger".

Articles

Microsoft launches Aust .NET developer program

March 2, 2004 1:30pm PST

Microsoft Australia has this week launched a new .NET developer recognition program to entice developers to contribute more to the Microsoft development community.

White Papers

Analyzing Concurrent Programs for Potential Programming Errors

October 14, 2010 12:00am PDT

Today, multi-core/multi-processor hardware has become ubiquitous, which puts one at a fundamental turning point on software development. However, developing concurrent programs is difficult....

Provided by: University of Wyoming

White Papers

Open Answer Set Programming With Guarded Programs

February 25, 2007 12:00am PST

Open Answer Set Programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants. The authors define a Fixed Point...

Provided by: Vrije Universiteit Brussel

White Papers

Work in Progress - Using Graphical Programming Languages in the Introductory Programming Course

July 18, 2009 12:00am PDT

First year engineering students are noted to have either a strong dislike for programming or an inability to write effective programs. This poses a problem, since many engineering departments...

Provided by: Purdue University (Krannert)

White Papers

Transforming Functional Logic Programs into Monadic Functional Programs

November 21, 2010 12:00am PST

The authors present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently...

Provided by: Christian-Albrechts-Universitat zu Kiel

White Papers

A Meta-Programming Technique for Debugging Answer-Set Programs

April 15, 2008 12:00am PDT

Answer-Set Programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs. In particular,...

Provided by: Association for the Advancement of Artificial Intelligence

White Papers

Relativized Hyper equivalence of Logic Programs for Modular Programming

July 23, 2009 12:00am PDT

A recent framework of relativized hyper equivalence of programs offers a unifying generalization of strong and uniform equivalence. It seems to be especially well suited for applications in...

Provided by: University of Kentucky

White Papers

Strategic Program Management: Key To "Giga" Program Delivery

July 1, 2009 12:00am PDT

Across many markets we are seeing dramatic growth in the scale and complexity of capital construction programs. Like all programs, these consist of a series of discrete but closely coupled...

Provided by: PM World Today

White Papers

Managing Programs To Success: Key Program Management Metrics

July 1, 2007 12:00am PDT

Humans know that measures such as their blood pressure, cholesterol, blood sugar, and white blood cells levels reflect the state of their health. Similarly, program managers know that metrics such...

Provided by: PM World Today

Blog Posts

How to enroll in the Apple volume purchase program

February 2, 2012 6:38am PST

Wil Limoges describes how the Apple volume purchase program for the App Store works for businesses. Here's what you need to know about enrollment in the program.

1

White Papers

Use Concurrent Programming Models to Motivate Teaching of Programming Languages

May 29, 2008 12:00am PDT

Undergraduate computer science students typically have only a limited understanding of their favorite languages and no inkling of other programming paradigms. Yet modern programmers typically work...

Provided by: University of Central Florida