International Business Machines Corporation

Stephane Mery

Ulrich M Junker

Jean-Michel G B Bernelas

Jean Michel Bernelas

Sylvain Dehors

Cyril Mathey

Thierry Kormann

Steve Demuth

Aspects of the present invention disclose a method, computer program product, and system for parsing a domain-specific language (DSL) statement. The method includes one or more processors accessing a DSL statement that includes contracted phrases. The method further includes one or more processors identifying one or more contracted phrases in the DSL statement utilizing an annotated domain vocabulary for a DSL associated with the DSL statement and grammar rules for the DSL. The method further includes one or more processors determining expanded phrases corresponding to the identified one or more contracted phrases based on the annotated domain vocabulary and the grammar rules. The method further includes one or more processors creating an expanded abstract syntax tree (AST) that is representative of the DSL statement with the determined expanded phrases replacing the identified one or more contracted phrases.

Contraction aware parsing system for domain-specific languages

A method for domain specific language design includes, with a physical computing system, receiving from a user, a number of annotations for at least one of a set of statements within a problem domain, the annotations identifying a set of elements within the statement. The method further includes forming a set of grammar rules for the problem domain based on the annotations, and parsing the set of statements using the set of grammar rules.

Domain specific language design

A computing system includes a processor; and a memory communicatively coupled to the processor. The processor is configured to: receive from a user, a number of annotations for at least one of a set of statements within a problem domain, the annotations identifying a set of elements within the statement; form a set of grammar rules for the problem domain based on the annotations; and parse the set of statements using the set of grammar rules.

Embodiments relate to managing and executing interpreted language code. An aspect includes a parser configured to parse controlled language code against both a language grammar and for building an execution model comprising parsed known concepts. Another aspect includes a pattern matching engine configured to match patterns in the controlled language code with a patterns for a new concept. Yet another aspect includes a concept engine configured to create a new concept from the matched pattern and controlled language code and for saving the new concept into an object model and into a language grammar so that current and future parsing errors will not occur when recognizing the new concept.

Enterprise decision management

Embodiments relate to validating logical statements in code for domain specific languages. An aspect includes parsing logical statements and annotating constraint type logical statements with specific constraint annotations from the logical grammar of the domain specific language. A non-contradiction graph is built using specific constraint annotations constrained to represent cases satisfying the logical statements and is solved to find a case that satisfies the logical statement or prove that no such case exists, thus locating a contradiction. The non-contradiction graph is negated to form a non-tautology graph constrained to represent cases violating the logical statements and the non-tautology graph is solved to find a case that violates the logical statement or prove that no such case exists, thus locating a tautology. A report is provided regarding at least one case satisfying the logical statement and at least one case violating the logical statement whereby the logical statement is validated.

Growing community of inventors

Lexington, MA, United States of America

Stephane Mery