Patents by Inventor Henricus Johannes Maria Meijer

Henricus Johannes Maria Meijer has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 7899840
    Abstract: A group join query facilitates navigation of relationships (e.g., one-to-many or many-to-one) across a plurality of data collections. Such a query operator produces nested or hierarchical results that capture the arguments passed thereto. If desired, the nested results can be flattened to simulate conventional relational database results.
    Type: Grant
    Filed: March 29, 2007
    Date of Patent: March 1, 2011
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Anders Hejlsberg, Dinesh Chandrakant Kulkarni, Matthew J. Warren, Mads Torgersen
  • Patent number: 7890939
    Abstract: Partial methods enable separation of method declaration and/or calls from method implementation. A partial method specifies a signature of a join or hook point in a class. Calls to a partial method specify a join or hook point in code that can optionally be linked with an actual method implementation of the same signature. Separate method implementations or other code related to a partial method are injected into a single program prior to execution. Unimplemented partial methods are treated as no operation instructions or otherwise ignored.
    Type: Grant
    Filed: February 13, 2007
    Date of Patent: February 15, 2011
    Assignee: Microsoft Corporation
    Inventors: Dinesh C. Kulkarni, Mads Torgersen, Henricus Johannes Maria Meijer, Anders Hejlsberg, Matthew J. Warren, Peter A. Hallam
  • Patent number: 7873592
    Abstract: Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
    Type: Grant
    Filed: April 20, 2007
    Date of Patent: January 18, 2011
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Gavin Bierman, Mads Torgersen, Anders Hejlsberg, Danny Van Velzen, Peter A. Hallam, Robert Eric Lippert, Matthew J. Warren, Paul A. Vick, Amanda Silver
  • Patent number: 7865533
    Abstract: The claimed subject matter relates to an architecture that can facilitate query comprehension that are constructed in a compositional manner. In accordance therewith, the query comprehensions can be assembled together in virtually in order without common requirements that force query operators of a query expression to follow ordering/syntactic rules. In addition, the architecture can provide for query expressions that arbitrarily composable and which can be terminated at any point. If the query expression terminates without a Select or Return clause at the end, the architecture can facilitate generation of an implicit Select or Return, and output results.
    Type: Grant
    Filed: February 5, 2007
    Date of Patent: January 4, 2011
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Amanda K. Silver, Paul A. Vick, Jr., Eugueni Zabokritski, Aleksey V. Tsingauz
  • Patent number: 7860823
    Abstract: The claimed subject matter provides a system and/or a method that facilitates querying data utilizing an explicit representation of an embedded language. An IEnumberable component can receive a data operation that can be employed on a collection of data utilizing at least one of an IEnumerable interface and an IEnumerable<T> interface. A mirror component can provide a generic interface to query the collection of data by representing the collection of data as an expression tree utilizing at least one function that mirrors the at least one IEnumerable interface and the IEnumerable<T> interface.
    Type: Grant
    Filed: August 16, 2006
    Date of Patent: December 28, 2010
    Assignee: Microsoft Corporation
    Inventors: Anders Hejlsberg, Matthew J. Warren, Henricus Johannes Maria Meijer, Dinesh C. Kulkarni, Mads Torgersen
  • Patent number: 7836056
    Abstract: The innovation enables generation of an index of cloud-based resources (e.g., data, services, applications). The index can be used to retrieve a subset of the cloud-based resources by analyzing a user-generated or standing query. ‘Identity’ and contextual factors can be incorporated to enable rich indexing as well as subsequent retrieval of meaningful resources. The cloud-based resources can be indexed and/or searched in accordance with diverse criteria including, but not limited to, type, size, data created, date modified, author core identity, object size, etc. As well, the innovation can provide for dynamically indexing and/or searching resources in accordance with current contextual factors including, but not limited to, author current acting capacity (e.g., current identity), current engaged activity of a user, location, time, date, etc. All of these criteria can facilitate indexing and categorizing of the resources for later retrieval and rendering via a rich index view.
    Type: Grant
    Filed: December 20, 2006
    Date of Patent: November 16, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Raymond E Ozzie, Thomas F. Bergstraesser, Michael Connolly, Daniel S. Glasser, Matthew B. MacLaurin, Kartik N. Raghavan
  • Patent number: 7818719
    Abstract: Syntax for creating object instances utilizing expressions instead of statements. A syntax component facilitates extension of conventional object-creation-expression syntax. An initializer component provides for initialization of a newly-created entity via object and collection initializers. The initializer component provides initialization of the newly-created entity utilizing an object initializer where the object initializer specifies values for one or more fields or properties of the newly-created entity which is an object, and consists of a sequence of member initializers enclosed by tokens and separated by commas. The initializer component can also provides initialization of the newly-created entity utilizing a collection initializer when the underlying object implements a certain interface or implements a certain pattern. An overloading constructor can be called as part of the initialization process.
    Type: Grant
    Filed: July 29, 2005
    Date of Patent: October 19, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Anders Hejlsberg, Matthew J. Warren, Luca Bolognese, Peter A. Hallam, Gary S. Katzenberger, Dinesh C. Kulkarni
  • Patent number: 7805456
    Abstract: The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.
    Type: Grant
    Filed: February 5, 2007
    Date of Patent: September 28, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Amanda K. Silver, Paul A. Vick, Jr., Eugueni Zabokritski, Aleksey V. Tsingauz
  • Patent number: 7797453
    Abstract: A computing paradigm where information can be aggregated from multiple services/programs within a ‘cloud-based’ environment is provided. Thus, the system can provide a uniform interface that can combine computational tasks across the multiple services/programs. Thus, the innovation takes advantage of the computing device being a ‘thin client’ which affords greater user comfort to a user without sacrificing data processing capabilities. Accordingly, the mechanisms are disclosed that standardize and/or normalize data across the resources within the cloud.
    Type: Grant
    Filed: December 20, 2006
    Date of Patent: September 14, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Thomas F. Bergstraesser, Christopher W. Brumme, Lili Cheng, Alexander G. Gounares, James R. Larus, Debi P. Mishra, Ira L. Snyder, Jr.
  • Publication number: 20100223341
    Abstract: Providing for electronic messaging tailored to contexts or interests of one or more participants of electronic communication is described herein. By way of example, a message can be analyzed during or after compilation to determine a context of the message. Message participants can be identified and a context for such participants determined. Based on the message context or participant context, the message can be modified to be consistent with interests, preferences or other context of one or more participants. In some aspects, the message can be modified upon receipt by a recipient's communication device or messaging application. According to other aspects, the message can be modified at compilation, or transmission. In accordance with still other aspects, message modifications can be output as suggested feedback to improve receptivity or utility of a message.
    Type: Application
    Filed: February 27, 2009
    Publication date: September 2, 2010
    Applicant: Microsoft Corporation
    Inventors: Dragos A. Manolescu, Matthew Jason Pope, Raymond E. Ozzie, Christopher H. Pratley, Henricus Johannes Maria Meijer, F. David Jones, Mary P. Czerwinski
  • Publication number: 20100223581
    Abstract: Providing for graphical visualization of contextual information pertinent to electronic messaging is described herein. By way of example, contextual network usage information or messaging disposition can be determined for a set of participants to electronic communication. The contextual information is compiled into categories and organized at least as a function of category. The compiled data can be transformed into a visualization of user disposition or context and output to a user device as a multi-dimensional graphical rendering. By rendering contextual data graphically, the rich and diverse information available from usage histories, current user context and user dispositions can be output and consumed rapidly and efficiently, resulting in productive electronic interaction.
    Type: Application
    Filed: February 27, 2009
    Publication date: September 2, 2010
    Applicant: MICROSOFT CORPORATION
    Inventors: Dragos A. Manolescu, Matthew Jason Pope, Raymond E. Ozzie, Henricus Johannes Maria Meijer, F. David Jones, Mary P. Czerwinski
  • Publication number: 20100223212
    Abstract: Providing for task-related electronic feedback based on user interaction with a communication network is described herein. By way of example, user interactions the network or a network interface can be monitored to identify user activities performed in conjunction with a task. A rating for performance of the task can be obtained via comparison of user activities with benchmark performance activities. Based on the rating and user-benchmark comparison, inefficiencies can be identified, along with corrective actions for such activities. The corrective actions can then be output to coach the user on techniques for improving performance of the task. Accordingly, by employing corrective feedback based on monitored user activity, personal training can be automated, potentially reducing time and cost of such training.
    Type: Application
    Filed: February 27, 2009
    Publication date: September 2, 2010
    Applicant: MICROSOFT CORPORATION
    Inventors: Dragos A. Manolescu, Matthew Jason Pope, Raymond E. Ozzie, Eric I-Chao Chang, Henricus Johannes Maria Meijer, F. David Jones, Mary P. Czerwinski, Alex David Daley
  • Patent number: 7788275
    Abstract: An object-relational mapping mechanism facilitates customized relationship traversal. The mechanism can override default loading behavior with custom functionality (e.g., eager loading, lazy loading . . . ) specified by a programmer, for example. In other words, the object-relational mapping mechanism includes an extensibility point or hook for customization.
    Type: Grant
    Filed: September 18, 2007
    Date of Patent: August 31, 2010
    Assignee: Microsoft Corporation
    Inventors: Matthew J. Warren, Dinesh C. Kulkarni, Anders Hejlsberg, Henricus Johannes Maria Meijer
  • Patent number: 7788651
    Abstract: A computer-implemented system for representing data comprises a position indicator that indicates a position of a datum within a group, a name indicator that optionally names the datum, and a value of the datum. A type to be assigned to the datum is derived from at least one of a name of the datum and the position of the datum within the group. Methods of using the system are also provided.
    Type: Grant
    Filed: September 2, 2005
    Date of Patent: August 31, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Brian C. Beckman, Paul A. Vick, Amanda Silver
  • Publication number: 20100217776
    Abstract: Anonymous types for a programming language. Non-denotable anonymous types are types that a compiler generates on behalf of a programmer and can then be used as nominal types. Insofar as anonymous types do not have a name, they can be used only inside a method in which they are created. Additionally, an anonymous type cannot be exposed in any way outside of the method. Syntax to create an anonymous type is useful when employed with a Select operator to generate a result with a particular shape, without the need of having a regular type for it. Anonymous types are expressible such that an expression of that type can be written. Translation of an anonymous type by a compiler generates a nominal class that implements Equals and GetHashCode methods. There is equivalence of anonymous types within the same method, and conversion of an unrealized structural type into structurally compatible nominal type.
    Type: Application
    Filed: May 10, 2010
    Publication date: August 26, 2010
    Applicant: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Anders Hejlsberg, Matthew J. Warren, Luca Bolognese, Peter A. Hallam, Gary S. Katzenberger, Dinesh C. Kulkarni
  • Publication number: 20100218173
    Abstract: Modified compilers and other development tools provide implied line continuation within a sequence of syntax tokens of a programming language grammar which includes multiple semantic contexts and which uses line termination as presumptive statement termination. When source code parsing encounters a line terminator adjacent a context-dependent implicit line continuation token in an associated semantic context, an explicit decision is made whether to imply line continuation. Line continuation may also be implied in response to other specified tokens.
    Type: Application
    Filed: February 24, 2009
    Publication date: August 26, 2010
    Applicant: MICROSOFT CORPORATION
    Inventors: Avner Aharoni, Timothy Yat Tim Ng, David N. Schach, Paul Allen Vick, JR., Lisa Feigenbaum, Sophia Salim, Henricus Johannes Maria Meijer, Jonathan Paul Aneja, Joseph Tyler Whitney
  • Patent number: 7779397
    Abstract: A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed view of the at least one datum. Methods of using the system are also provided.
    Type: Grant
    Filed: August 29, 2005
    Date of Patent: August 17, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Amanda Silver, Paul A. Vick, Brian C. Beckman
  • Patent number: 7779396
    Abstract: The subject disclosure pertains to computer programming languages and translation or conversion thereof. Rather than a complicated semantics preserving translation or conversion from a first source language to a second target language, the conversion can be one of syntax. The conversion can be accomplished, for example, via employment of a map that defines the relation between the syntax of the first language and the second language. The semantics of at least a part of the first language can be defined by the second target language. Thus, the first language can be open-ended and/or semantically extensible based on the second language.
    Type: Grant
    Filed: August 10, 2005
    Date of Patent: August 17, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Avner Y. Aharoni, Haroon Ahmed, Todd F. Pfleiger
  • Patent number: 7774376
    Abstract: A type system that facilitates seamless integration of data access to relational and semi-structured data in an object oriented host language. A data access component includes the type system and corresponding set of syntax constructions that facilitates coercive subtyping and restricts covariance to identity conversions.
    Type: Grant
    Filed: July 30, 2004
    Date of Patent: August 10, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Wolfram Schulte, Gavin Bierman
  • Patent number: 7769755
    Abstract: A query language system is provided that includes a query component that specifies operations for one or more items in a data set. An aggregator component identifies one or more keys associated with the data set, the keys are supplied to one or more aggregators that perform direct computations from the keys in order to determine at least one aggregated value for the data set.
    Type: Grant
    Filed: November 30, 2006
    Date of Patent: August 3, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Amanda Silver, Paul A. Vick, Evgueni Zabokritski, Aleksey Tsingauz