Contract programming for code error reduction

Details Contract programming for code error reduction Contract programming for code error reduction

G - Physics

06

F

G06F 9/30 (2006.01) G06F 9/06 (2006.01) G06F 9/44 (2006.01) G06F 11/08 (2006.01)

Patent

CA 2704980

In one embodiment, a computer system provides an application programming interface (API) for augmenting an application API. A computer system receives software code written in a second programming language indicating a user's intention to augment an application API with contracts from a contract API written in a first programming language. The software code includes a reference to the contract API. The contracts include assertions indicating appropriate use of the application API. The computer system accesses portions of the contract API according to the reference in the software code and compiles the received software code and the referenced portions of the contract API into an intermediate language (IL) version of the software code. The IL version is in an intermediate language common to both the first programming language and the second programming language. The IL version includes the assertions indicating appropriate use of the application API.

L'invention concerne, selon un mode de réalisation, un système informatique fournissant une interface de programmation (API) pour augmenter une API d'application. Un système informatique reçoit un code logiciel écrit dans un second langage de programmation indiquant l'intention d'un utilisateur d'augmenter une API d'application avec des contrats provenant d'une API contractuelle écrite dans un premier langage de programmation. Le code logiciel comprend une référence à l'API contractuelle. Les contrats contiennent des affirmations indiquant l'utilisation appropriée de l'API d'application. Le système informatique accède à des parties de l'API contractuelle conformément à la référence dans le code logiciel et compile le code logiciel reçu et les parties référencées de l'API contractuelle en une version de langage intermédiaire (IL) du code logiciel. La version IL est dans un langage intermédiaire commun à la fois au premier langage de programmation et au second langage de programmation. La version IL contient les affirmations indiquant l'utilisation appropriée de l'API d'application.

Affiliated with

Also associated with

Rating

Contract programming for code error reduction does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Contract programming for code error reduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Contract programming for code error reduction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1399168