introduction, automatic, programming, code, generation, type, computer, generated, using, tools, allowing, developers, write, higher, level, abstraction, vast, amount, published, concerning, comprehensive, focused, single, method, algorithm, reviewing, state, art, having, research, examining, scientific, value, provide, scholars, base, future, analyses, reviews, overviewing, existing, literature, topic, main, aim, techniques, space, issues, questions, compare, emphasis, program, following, defined, subtopics, subject, approaches, used, limitations, formalize, depth, details, omitted, simplified, achieve, readability, briefness, encourages, reader, reference, exhaustive, analysis, structure, section, background, presented, address, overview, results, discussed, finally, summarized, introduce, describing, theoretical, technological, concepts, metaprogramming, genetic, overviewed, origin, history, described, technologies, treating, data, designed, generate, analyse, transform, itself, allows, reduce, codebase, flexibility, computations, compile, compilation, language, called, metalanguage, being, manipulated, object, feature, reflection, reflexivity, facilitates, regarded, genes, evolved, improve, performing, predefined, task, according, becker, input, set, instructions, actions, random, selected, form, initial, chain, genome, executed, scored, terms, solved, scorers, mated, offspring, rated, desired, produced, diversification, evolutionary, roulette, selection, crossover, mutation, usually, artificial, intelligence, occasionally, definition, varying, considered, description, manual, process, punching, tape, compilers, started, translating, example, bytecode, deterministic, formulation, generally, accepted, meaning, available, programmer, synthesis, based, specifications, non, algorithmic, statements, appropriate, logical, calculus, contrast, inductive, derive, output, constraints, incomplete, missing, utilizes, learning, systematic, protocol, strategy, sources, studies, execution, extraction, search, carried, databases, corresponding, acronyms, digital, library, xplore, springerlink, keywords, automated, refactoring, domain, specific, conducting, mentioned, applying, inclusion, exclusion, criteria, analysed, identify, additional, written, english, describe, texts, accessible, proxy, university, tartu, peer, reviewed, included, evaluated, compared, comparison, checked, refers, former, excluded, relevant, common, searching, query, database, domainspecific, total, iteration, identified, apply, duplicates, rejected, shown, removed, additionally, combined, thus, leaving, applied, criterion, followed, satisfied, titles, abstracts, eliminated, citations, manually, querying, listed, appendix, further, extracted, taken, consideration, authors, publishing, etc, researched, utilizing, proposed, categorize, specifically, mapping, classified, chapter, classification, split, categories, separately, tend, create, logic, original, translate, latter, interchangeably, disparate, contrasting, principles, mention, setting, unreal, expectations, frequent, cautious, analysing, purposes, claims, systems, knowledge, possible, implement, fully, autonomous, general, framework, empirical, evidence, discussing, perspective, philosophical, debate, related, tutorial, formal, methodologies, alan, biermann, divide, multiple, discussion, supplement, recent, completely, gulwani, categorized, dimensions, intent, implies, application, specified, information, insights, dsls, concerned, actual, deductive, conquer, strategic, syntax, guided, specialized, structured, comprehend, anything, cannot, expressed, java, encompasses, functions, required, communication, engine, major, class, embedded, interpreter, operates, environment, closely, tied, host, semantics, however, distinct, resembles, developing, maintaining, easier, gill, haskells, concise, edsls, combining, deeply, provided, shallow, computed, directly, constructs, valued, later, specify, commandset, processor, accepts, sequences, understand, translated, proper, referred, translation, compiling, formally, software, lower, assembly, include, crosscompiler, ability, architecture, bootstrap, target, decompiler, designing, analysers, fundamental, preserve, compiled, discernible, ignored, limit, produce, intended, practical, define, improvement, optimization, making, perform, faster, overlook, understood, creation, executable, improving, adopts, separation, concerns, optimizer, difference, receives, responsible, building, intermediate, representation, divided, reconstruction, pre, processing, tokenization, series, improved, focus, varies, speed, page, faults, energy, consumption, maximize, efficiency, resources, utilization, backend, multi, stage, dependent, rewrites, particular, efficient, given, benefit, changed, support, numerous, biggest, collection, platforms, deriving, synthesized, specifying, behaviours, consists, human, regardless, successfully, lowlevel, intervention, valuable, addresses, finding, satisfy, checks, correctness, stating, valid, relay, mathematical, theorem, proving, researching, solar, lezamas, sketching, moreover, essential, current, formalized, strategical, introduced, bibel, hornig, acquiring, manipulating, proposing, critical, constructing, relationship, portion, repetition, processed, reducing, completing, invokes, model, exploration, capability, generalizing, observed, previously, reasoning, generalize, previous, generalization, crucial, widespread, design, subtasks, trivial, complex, primitive, simple, individually, decomposed, assemble, complete, solution, partitions, solve, otherwise, repeats, collected, sorting, decomposition, operator, pioneered, manna, waldinger, theoremproving, transformation, induction, unification, tableau, dimensional, encompassing, proof, notions, encompass, constants, variables, latin, symbols, constructed, constructor, atomic, sentences, construction, predicate, truth, false, connectives, quantifiers, conditional, implication, expressions, closed, contain, free, herbrand, equality, reflexive, theory, axioms, basic, denoted, assertions, goals, columns, represents, derivation, extracting, suiting, satisfying, equivalence, deduction, deducting, intend, similarity, violate, untouched, accordingly, splitting, components, resolution, sub, replaces, equivalent, skolemization, removes, equal, assumes, smaller, illustrate, nonempty, string, character, nr, obtain, concatenation, property, twice, trichotomy, sygus, outlines, synthesizer, user, alur, et, al, potential, classical, advantages, candidate, implementations, gaining, computational, performance, solving, programme, syntactic, inference, correct, interpretation, formula, universally, quantified, grammar, restricts, universe, typed, vocabulary, [f, e], modulo, oracle, susmit, jha, loop, fusion, oracleguided, satisfiability, solvers, manipulation, deobfuscation, converting, difficult, simpler, validation, whether, requirements, temporary, permutation, procedure, encode, encoding, exist, syntactically, formed, embodies, integer, location, formedness, functional, bijective, assignment, iff, sake, simplicity, obtained, defining, behavioral, guide, finite, behavioural, matches, expensive, operation, distinguishing, differentiates, behavior, synthesising, beginning, searched, expanded, successful, combination, challenging, therefore, establishing, synergy, challenges, meta, deduce, needed, thinking, efficiently, extend, reuse, complexity, sketch, boolean, synthesize, test, counterexample, core, automatically, validate, regards, concurrent, ranging, cypher, linked, optimized, concurrency, finelocking, scheme, dining, philosophers, sense, reversing, barrier, generating, spans, mainly, recursive, depending, paradigm, prolog, outputevaluation, passed, computing, templates, heuristics, biases, consisting, turingcomplete, controls, partial, prominence, mostly, enabling, polozov, extensive, efforts, lack, extensibility, underlying, causes, separates, partitioning, patterns, computes, systematically, randomly, greedy, parallel, hofmann, traceable, reason, hypotheses, driver, combines, analytical, equations, inputoutput, declaration, signature, induced, auxiliary, calling, identical, infer, parameters, constrained, occur, restrictions, bias, infinitely, preference, chooses, possi, ble, selecting, subsets, select, hypothesis, unfinished, chosen, successor, substation, replacement, refinement, distinction, introducing, recursively, noted, arguments, perceived, finished, finalized, derived, outputted, evolution, olsson, induces, containing, recursion, invented, numerical, experimentally, highquality, automating, beneficial, maintains, population, hierarchically, entities, taxonomy, species, similar, founding, compound, ranking, newly, ranked, randomness, oriented, pillay, chalmers, rulebased, expert, overall, translator, represented, internal, creating, convenient, visualized, characteristics, cheque, account, profile, balance, deposit, withdraw, accountnumber, withdrawal, employs, generational, elements, terminal, refined, evaluation, regeneration, exhausted, driven, novel, unifies, strengths, restricted, employed, limited, drastically, life, less, easiest, addition, map, witness, capture, inverse, enumerative, flashmeta, declarative, maintenance, parameterize, generic, reused, conformant, modelling, develop, various, choices, notable, industry, flashfill, flashextract, shipped, microsoft, excel, powershell, respectively, synthesizing, spreadsheets, tuple, implemented, rewriting, resulted, discovered, exploited, scripts, unstructured, documents, currently, integrated, azure, operational, management, suite, logs, textual, filter, neuro, symbolic, parisotto, trained, incrementally, explicit, capable, modular, neural, network, cross, correlation, continuous, reverse, expanding, context, parse, generative, consistent, training, phase, accurate, uniformly, samples, running, treats, expansion, straightforward, leaf, assigns, probabilities, optimize, node, global, vector, assigned, backtracks, root, pass, starting, invoked, update, testing, tested, distributing, accuracy, optimal, applicable, utilized, robustfill, leverages, crafted, attentional, dataset, outcomes, turned, fit, employing, automation, decided, gottschlich, solely, tightly, limiting, feasible, minimum, range, increment, pointer, decrement, byte, ptr, matching, unless, turing, theoretically, scope, taped, unlimited, memory, legacy, khatchadourian, enumeration, brittleness, interprocedural, inferencing, lifecycle, enumerated, refactor, projects, web, service, composition, adapter, cloud, apis, omer, schill, proposes, runtime, occurring, composing, semi, deal, dependencies, emerging, independently, developed, hossny, communicating, via, slight, overhead, updated, dependants, annotations, requires, conceptual, ontology, documentation, zhai, unknown, easily, functionality, natural, received, completion, suggestions, development, popular, assistant, mining, collect, public, repositories, github, plugin, visual, studio, enables, mined, statistical, providing, subsection, operating, scaling, slightly, modified, relations, applicative, effects, writing, benchmarking, narrow, impossible, apparent, changing, relatively, experience, exploring, dominant, scalable, across, tolerance, returning, supervised, availability, indicating, remained, transfer, usability, friendly, terpret, expressing, pushgp, suited, magichaskeller, recently, launched, product, encapsulates, robusfill, distribution, explained, trends, targeted, evident, equally, conditioned, synthesisinductive, expon, graph, closer, popularity, rapidly, growing, extent, indicator, distorted, manner, spent, average, per, dedicated, enhancement, stated, actually, transferred, explicitly, rate, fixed, keeping, promote, conclusion, thesis, conclude, power, researchers, consider, advance, desirable, matched, throughout, interesting, breakthrough, inspired, upper, regarding, arise, extending, embraced, supervisedlearning, reinforced, situation, marginal, catalyse