Hyperpiler
An improved method for generating complex formal language documents from simple input values, reducing the barrier to formal communications. The techniques described may be applied to different domains to generate different types of documents requiring formal language. For illustration, this disclosure focuses on generating a computer program document as programming languages are among the most formal.
1. A computer-implemented method for modifying a generated computer program, the method comprising:
accessing a specification, the specification comprising a plurality of entities, each entity of the plurality of entities comprising a plurality of values describing aspects of a computer program;
accessing a plurality of segments, each segment comprising program instructions, and each segment associated with one or more entities from the plurality of entities;
accessing a first segment of the plurality of segments comprising a first identifier identifying a first entity of the plurality of entities;
assembling the plurality of segments into a first computer program;
receiving a value correlated with the first identifier;
modifying the first entity into a modified first entity;
modifying the first segment into a modified first segment associated with the modified first entity; and
generating a modified first computer program comprising the modified first segment.
2. The method according to claim 1 wherein the first identifier is contained in a code comment.
3. The method according to claim 1 wherein the first segment is demarcated by a specific sequence contained in one or more code comments.
4. The method according to claim 1 wherein the first identifier is contained in a HyperText Markup Language (HTML) attribute value.
5. The method according to claim 1 wherein the value correlated with the first identifier is received over a computer network.
6. The method according to claim 5 wherein the first identifier is used in a Uniform Resource Locator (URL).
7. The method according to claim 1 further comprising populating the first segment with the first identifier.