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).

  • Layout rules for whitespace sensitive literals
    Patent number: 7650573
    Abstract: Layout rules are provided that enable white-space sensitive literals to be developed within a source program according to arbitrarily defined or virtual margins. In one aspect, a computerized programming system is provided. The system includes a source program having one or more computer program codes or instructions. A rules component enables a virtual margin to be positioned within the source program, where the virtual margin can be offset from a default margin by at least one position in the source program. The rules component enables a plurality of virtual margins to be nested within the source program. This includes allowing deviations in the margin such as a hole to be declared in the virtual margin.
    Type: Grant
    Filed: August 11, 2005
    Date of Patent: January 19, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Brian C. Beckman
  • CONFLICT RESOLUTION AND ERROR RECOVERY STRATEGIES
    Publication number: 20100010801
    Abstract: A plethora of strategies is afforded to facilitate conflict resolution and error recovery with respect to parsing, among other things. Grammar authors can select amongst a range of strategies or options on a case-by-case basis to address conflicts, ambiguities, errors, and the like. The strategies can be either static or dynamic. In one instance, code external to a parsing system can be invoked to resolve conflicts or recover from errors, and further enable change of strategy without requiring modification of the parser. Interaction between the parsing system and the external code can also be formalized to ensure general type safety of the system.
    Type: Application
    Filed: July 11, 2008
    Publication date: January 14, 2010
    Applicant: MICROSOFT CORPORATION
    Inventors: Henricus Johannes Maria Meijer, John Wesley Dyer, Thomas Meschter, Cyrus Najmabadi
  • Operating system with corrective action service and isolation
    Patent number: 7647522
    Abstract: The claimed subject matter provides a system and/or a method that facilitates re-locating a web application associated with a network service utilizing a portion of serialized data. The network service can be any collection of resources that are maintained by a party (e.g., third-party, off-site, etc.) and accessible by an identified user over a network (e.g., WAN, Internet, etc.). A receiver component can receive a request for initiating and execution of a process that is maintained by the network service. A servicing component can analyze representations of multiple processes within the network service and determines whether to enable initiation and execution of the process based at least in part upon the analysis.
    Type: Grant
    Filed: December 20, 2006
    Date of Patent: January 12, 2010
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Raymond E. Ozzie, Gary W. Flake, Thomas F. Bergstraesser, Arnold N. Blinn, Christopher W. Brumme, Michael Connolly, Dane A. Glasgow, Alexander G. Gounares, Galen C. Hunt, James R. Larus, Matthew B. MacLaurin, David R. Treadwell, III
  • General programming language support for nullable types
    Patent number: 7647580
    Abstract: The subject invention relates to systems and methods that provide null capabilities within the context of programming languages. In one aspect, a system is provided that facilitates null-support in various programming languages. The system includes one or more types associated with at least one programming language. A type modifier is provided to signal that the type is nullable. The type modifier enables a multi-element structure to be automatically created in association with the type wherein, the multi-element structure includes the type and a Boolean element indicating whether or not the variable is null.
    Type: Grant
    Filed: September 7, 2004
    Date of Patent: January 12, 2010
    Assignee: Microsoft Corporation
    Inventors: Henriçus Johannes Maria Meijer, Anders Hejlsberg, Eric A. Gunnerson, Gary S. Katzenberger, Peter A. Hallam, Matthew J. Warren
  • COMPILER IN A MANAGED APPLICATION CONTEXT
    Publication number: 20090328012
    Abstract: A batch compiler is employed to enable compilation of code provided at runtime. A managed application receives code during execution and invokes the compiler to transform the code to enable it to execute within the context of the receiving application. Among other things, employment of a batch compiler preserves investments made to such compilers while also opening up new scenarios in application scripting and/or hosting that are otherwise unavailable.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Avner Y. Aharoni, Henricus Johannes Maria Meijer, Timothy Yat Tim Ng, Amanda K. Silver, Scott Daniel Wisniewski, Kevin Wagner Halverson, David N. Schach, Aleksey V. Tsingauz, Paul A. Vick
  • COMPONENTIZATION OF COMPILER FUNCTIONALITY
    Publication number: 20090328013
    Abstract: Compiler functionality is componentized to enable use across different contexts. Conventionally tightly coupled functionality is decoupled and an interface afforded to facilitate interaction with compiler components/subcomponents in various scenarios. In one instance, compiler components can be employed across compile time and runtime. Compile time functionality can be employed at runtime and runtime functionality utilized at compile time thereby blurring the line between time dimensions.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Avner Y. Aharoni, Henricus Johannes Maria Meijer, Timothy Yat Tim Ng, Amanda K. Silver, Paul A. Vick, Scott Daniel Wisniewski
  • GENERALIZED EXPRESSION TREES
    Publication number: 20090328016
    Abstract: Expression tree versatility and applicability are enhanced to facilitate programming across various program languages and execution contexts. An expression tree can represent programmatic code as data in a representation common to multiple process mechanisms. As a result, entire programs or portions thereof can be captured and processed by a numerous common language components. Further, language specific concepts can be reduced to the common representation to enable language independent employment.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Timothy Yat Tim Ng, Robert Elliott Viehland, James Hugunin, Samuel Y. Ng, Matthew J. Warren, Anders Hejlsberg, Henricus Johannes Maria Meijer, John Wesley Dyer, Avner Y. Aharoni, John Benjamin Messerly, Martin Maly, William P. Chiles, Mads Torgersen
  • Code generation patterns
    Patent number: 7631011
    Abstract: The subject disclosure pertains to code generation patterns for use in object relational mapping. The code patterns may be used to manage bidirectional relationships and ensure consistency. The code patterns may support on-demand or deferred loading of relational data. Change detection and tracking are also provided. In addition, a default member modifier allows developers to override tool generated source code without directly modifying the generated source code.
    Type: Grant
    Filed: July 29, 2005
    Date of Patent: December 8, 2009
    Assignee: Microsoft Corporation
    Inventors: Dinesh Chandrakant Kulkarni, Anders Hejlsberg, Matthew J. Warren, Luca Bolognese, Henricus Johannes Maria Meijer, Peter A. Hallam
  • Runtime support for nullable types
    Patent number: 7627594
    Abstract: The subject disclosure pertains to systems and methods for supporting null capabilities for general purpose programming languages. Low level, runtime support for a nullable type is provided to ensure consistency and coherency. An execution component restricts support of the nullable type to programming language types that lack a null capability. The execution component may also provide support for conversion between the nullable type and a reference type.
    Type: Grant
    Filed: August 29, 2005
    Date of Patent: December 1, 2009
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Anders Hejlsberg, Dinesh Chandrakant Kulkarni, Vance P. Morrison, John Joseph Duffy, Christopher W. Brumme, Matthew J. Warren, Luca Bolognese, Peter A. Hallam, Gary S. Katzenberger
  • Readers and scanner design pattern
    Patent number: 7624374
    Abstract: An object-oriented interface for providing access to stored data comprises a data enumeration module that provides an object-oriented view to at least one stored first datum that is not an object created by the interface. The interface also includes a scanning module that cooperates with the data enumeration module to change the view from the stored first datum to another datum. Methods for using the interface are also provided.
    Type: Grant
    Filed: August 30, 2005
    Date of Patent: November 24, 2009
    Assignee: Microsoft Corporation
    Inventors: Henricus Johannes Maria Meijer, Paul A. Vick, Amanda Silver, Chris A. Suver
  • VIRTUAL AUTOMATA
    Publication number: 20090276795
    Abstract: Computer-based machines can be modeled after a virtual automaton. The virtual automaton defines processes that are not bound statically to particular behavior but rather perform a lookup at runtime to bind behavior to a specific process mechanism. In accordance with one aspect, binding can be dependent upon runtime context information such as object type. Instances of virtual automaton are provided in the context of graph processing including serialization of object graphs and scanning/parsing, among others.
    Type: Application
    Filed: April 30, 2008
    Publication date: November 5, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: John Wesley Dyer, Brian C. Beckman, Henricus Johannes Maria Meijer, Jeffrey Van Gogh
  • TECHNIQUES FOR FACILITATING SERVER CALLBACKS
    Publication number: 20090276791
    Abstract: Various technologies and techniques are disclosed for facilitating server callbacks. A request is received from a client computer to monitor for one or more events for the client computer. The server computer monitors for the one or more events and detects one or more occurrences of the events. Information regarding the one or more occurrences of the events is added to an event queue. On a later communication with the client computer, the event queue is sent as part of a response so the occurrences of the events can be handled on the client computer by one or more event handlers on the client computer. Techniques are also described for enabling server callbacks in execution context splitting scenarios where a region of code has been split across different execution contexts.
    Type: Application
    Filed: May 1, 2008
    Publication date: November 5, 2009
    Applicant: Microsoft Corporation
    Inventor: Henricus Johannes Maria Meijer
  • EXPRESSIVE GROUPING FOR LANGUAGE INTEGRATED QUERIES
    Publication number: 20090271382
    Abstract: Standard group operators afford expressive grouping across collections of various types for employment by a number of programming languages. The operators can leverage positional information to facilitate grouping of sequential/ordered input data. Groups can also include more than one input element. Additionally or alternatively, the operators can enable multi-level grouping such as nested or hierarchical grouping. In accordance with one aspect, the group operators can be employed in conjunction with language-integrated queries.
    Type: Application
    Filed: April 23, 2008
    Publication date: October 29, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Paul A. Vick, Henricus Johannes Maria Meijer
  • APPLICATION MACRO RECORDING UTILIZING METHOD INTERCEPTION
    Publication number: 20090265719
    Abstract: Method interception is utilized to generate macros. A recorder is injected within application code. The recorder intercepts a call to a method, captures information, and calls the original method. A macro can be generated subsequently as a function of the captured information. In one instance, macros can be utilized to test the application code. Additionally, information capture and ultimately macro generation can be combined with a tier splitting mechanism.
    Type: Application
    Filed: April 18, 2008
    Publication date: October 22, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Henricus Johannes Maria Meijer, Jeffrey Van Gogh, John Wesley Dyer
  • SECURITY BY CONSTRUCTION FOR WEB APPLICATIONS
    Publication number: 20090249489
    Abstract: Secure distributed Web applications are produced by default upon construction. Mechanisms are provided to address distributed application vulnerabilities (e.g., cross-site scripting, cross-site request forgery, replay attacks . . . automatically. These mechanisms are provided in conjunction with a tier-splitting component that breaks up an application for execution across multiple contexts or tiers. As a result, any application that is tier split is protected from security vulnerabilities by default without any intervention on the part of a developer.
    Type: Application
    Filed: March 31, 2008
    Publication date: October 1, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Benjamin Livshits, Henricus Johannes Maria Meijer, Brian Beckman, Jeffrey Van Gogh, Danny Van Velzen, Dragos A. Manolescu, Bryan Sullivan
  • CROSS PLATFORM COMPOSITIONAL WIDGETS
    Publication number: 20090249282
    Abstract: Mechanisms are afforded for supporting cross platform widgets. A generic widget can be converted into a specialized widget of a corresponding platform. Dually, a specialized widget can be generalized to a generic widget for subsequent deployment on the same or different host. Furthermore, support is provided for compositional widgets across platforms.
    Type: Application
    Filed: March 31, 2008
    Publication date: October 1, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Henricus Johannes Maria Meijer, Danny Van Velzen, Jeffrey Van Gogh, Brian C. Beckman
  • FUNCTIONAL UPDATES FOR TREE PROCESSING
    Publication number: 20090248624
    Abstract: An API for functionally updates to data represented in trees, such as XML trees, is provided. Functional updates can be implemented using an update combinator to search for matching nodes and apply an indicated function to those matching nodes. This API can be used in non-functional languages, such as procedural languages or scripting languages. Updates are performed without side effects since a shallow clone is created for at least a portion of a tree. Nodes of the tree can be streamed into memory so that only a portion of a large tree is present in memory at any time. Artificial intelligence can be used by the API to optimize performance under the circumstances, such as optimizing based on node type that is to be updated.
    Type: Application
    Filed: March 25, 2008
    Publication date: October 1, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Ralf Lammel, Henricus Johannes Maria Meijer
  • AUTOMATIC CODE TRANSFORMATION WITH STATE TRANSFORMER MONADS
    Publication number: 20090249310
    Abstract: Stateful computations are transformed into stateless computations automatically to facilitate scalability. Programmers can write code in a traditional imperative stateful style, which is subsequently transformed automatically into a stateless, state transformer monadic style. After the transformation, state is passed as an additional argument in a call and returns as a new state as an additional result.
    Type: Application
    Filed: March 28, 2008
    Publication date: October 1, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Henricus Johannes Maria Meijer, John Wesley Dyer
  • TRANSPARENT INTEGRATION OF APPLICATION COMPONENTS
    Publication number: 20090228896
    Abstract: Differing implementations associated with components of dissimilar execution environments are mediated to facilitate component integration. A host is provided to facilitate native interaction with foreign components by translating between native and foreign communications. Policies can be specified by either or both of a native and foreign component that control interaction.
    Type: Application
    Filed: March 4, 2008
    Publication date: September 10, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Henricus Johannes Maria Meijer, Jeffrey Van Gogh
  • INTENT-AWARE SEARCH
    Publication number: 20090228439
    Abstract: A system is provided to improve the relevance of information searches. The system includes a search component to facilitate information retrieval in response to a user's query. An inference component refines the user's query or filters search results associated with the query in view of a determined intent of the user. This can also include a “sensor component” that collects the information fed to the inference component.
    Type: Application
    Filed: March 7, 2008
    Publication date: September 10, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Dragos A. Manolescu, Henricus Johannes Maria Meijer, Laura J. Kern