Sentence examples for language augmented from inspiring English sources

ChiselFlow emits SIRRTL, a variant of the FIRRTL intermediate language augmented with an information flow type system.

To evaluate our technology, Dan Grossman and I developed an optimizing compiler for Cyclone, a type-safe C-like language augmented with RTCG constructs.

Typically, ordinary deductive reasoning takes place in a natural language, or perhaps a natural language augmented with some mathematical symbols.

Here's an innovative, simple, and exciting application to Google Glasses: foreign language augmented reality that translates text like real-life subtitles.

It represents a general-purpose graph warehouse with its own data definition and query language, augmented with data types for biological entities.

The PVS language augments a simply typed higher-order logic with subtypes, dependent types, and algebraic datatypes.

Likewise, from our experience, we could suggest that multilingual personnel and documents translations, particularly the questionnaire, to another non-official language(s), augmented considerably the participation of those who prefer answering in their mother language.

Formulas for cells are written in a general-purpose programming language (Tcl) augmented with operators for array manipulation, image processing, and rendering.

Once multiple agents have been added to the syntax, the language is augmented with an additional operator c.

This ingenious tool used optical character recognition on any foreign language and augmented reality to overlay a translation on the original text.

To this end, this paper presents an innovative approach for developing an experiential design language that augments existing systems engineering language (i.e., SysML) with new perspectives informed by exploration and storytelling in virtual worlds.