The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Apr. 29, 2014

Filed:

Dec. 23, 2010
Applicants:

Paul F. Ringseth, Bellevue, WA (US);

Yosseff Levanoni, Redmond, WA (US);

Lingli Zhang, Sammamish, WA (US);

Weirong Zhu, Kirkland, WA (US);

Donald J. Mccrady, Redmond, WA (US);

Inventors:

Paul F. Ringseth, Bellevue, WA (US);

Yosseff Levanoni, Redmond, WA (US);

Lingli Zhang, Sammamish, WA (US);

Weirong Zhu, Kirkland, WA (US);

Donald J. McCrady, Redmond, WA (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G06F 17/30 (2006.01); G06F 17/00 (2006.01); G06F 9/44 (2006.01); G06F 9/45 (2006.01);
U.S. Cl.
CPC ...
G06F 17/30 (2013.01); G06F 17/00 (2013.01); G06F 9/44 (2013.01);
Abstract

A high level programming language provides a co-map communication operator that maps an input indexable type to an output indexable type according to a function. The function maps an index space corresponding to the output indexable type to an index space corresponding to the input indexable type. By doing so, the co-map communication operator lifts a function on an index space to a function on an indexable type to allow composability with other communication operators.


Find Patent Forward Citations

Loading…