introduction, automatic, programming, code, generation, type, computer, generated, using, allowing, developers, higher, abstraction, vast, published, concerning, comprehensive, focused, method, algorithm, reviewing, research, examining, scientific, provide, scholars, future, analyses, overviewing, existing, literature, practices, topic, main, techniques, algorithms, issues, practice, emphasis, methods, program, defined, subtopics, approaches, limitations, formalize, depth, details, omitted, simplified, achieve, readability, briefness, encourages, reference, exhaustive, analysis, approach, structure, section, presented, address, overview, results, discussed, summarized, introduce, describing, theoretical, technological, concepts, concept, metaprogramming, genetic, overviewed, origin, described, types, technologies, programs, treating, data, designed, generate, analyse, transform, reduce, codebase, flexibility, computations, compile, compilation, called, metalanguage, manipulated, object, feature, metalanguages, reflection, reflexivity, facilitates, regarded, genes, evolved, performing, predefined, according, becker, input, instructions, actions, random, selected, initial, genome, executed, scored, solved, scorers, mated, offspring, rated, desired, produced, diversification, evolutionary, roulette, selection, crossover, mutation, usually, artificial, intelligence, occasionally, problem, definition, varying, considered, description, manual, process, punching, 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, examples, constraints, incomplete, missing, utilizes, learning, systematic, protocol, strategy, sources, execution, extraction, carried, databases, references, corresponding, acronyms, source, acronym, digital, xplore, springerlink, keywords, automated, refactoring, domain, specific, conducting, mentioned, applying, inclusion, exclusion, criteria, analysed, identify, additional, english, technique, 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, applied, criterion, followed, satisfied, abstracts, eliminated, citations, manually, querying, listed, appendix, extracted, consideration, abstract, publishing, definitions, etc, researched, problems, utilizing, proposed, categorize, specifically, mapping, extractions, classified, chapter, classification, split, categories, separately, tend, create, logic, original, translate, latter, interchangeably, disparate, utilize, contrasting, principles, mention, unreal, expectations, frequent, issue, cautious, analysing, purposes, claims, systems, knowledge, implement, autonomous, purpose, framework, empirical, evidence, discussing, perspective, philosophical, debate, related, tutorial, formal, methodologies, alan, biermann, multiple, discussion, biermanns, supplement, recent, completely, gulwani, categorized, dimensions, intent, specification, implies, application, specified, information, insights, dsls, concerned, actual, deductive, conquer, strategic, syntax, guided, special, specialized, structured, comprehend, expressed, java, encompasses, functions, required, communication, class, embedded, interpreter, compiler, operates, environment, closely, tied, latters, semantics, distinct, resembles, developing, maintaining, easier, gill, haskells, concise, edsls, combining, us, deeply, provided, shallow, computed, directly, constructs, result, computation, valued, later, specify, commandset, processor, sequences, text, translated, referred, translation, compiling, formally, software, translates, lower, assembly, include, crosscompiler, ability, architecture, bootstrap, target, decompiler, designing, analysers, fundamental, preserve, compiled, discernible, principle, ignored, limit, produce, intended, practical, define, improvement, optimization, perform, faster, overlook, understood, creation, executable, improving, adopts, separation, concerns, optimizer, responsible, intermediate, representation, divided, reconstruction, pre, processing, tokenization, semantic, series, outputs, improved, focus, varies, energy, consumption, instruction, maximize, efficiency, resources, utilization, backend, multi, includes, dependent, optimizations, rewrites, particular, efficient, benefit, changed, support, numerous, processors, architectures, biggest, collection, supports, deriving, synthesized, specifying, features, behaviours, consists, human, regardless, successfully, computers, lowlevel, intervention, finding, function, satisfy, correctness, stating, valid, relay, mathematical, theorem, proving, researching, solar, lezamas, sketching, moreover, essential, subtopic, relays, chapters, current, formalized, strategical, introduced, bibel, hornig, system, acquiring, manipulating, proposing, critical, theorems, constructing, relationship, portion, insight, repetition, processed, continues, reducing, completing, invokes, model, exploration, capability, generalizing, observed, previously, reasoning, relationships, generalize, previous, generalization, capabilities, crucial, widespread, design, subtasks, subtask, trivial, complex, primitive, individually, decomposed, assemble, complete, solution, methodology, partitions, solve, sequence, collected, sorting, decomposition, operator, pioneered, manna, waldinger, theoremproving, transformation, induction, unification, tableau, dimensional, encompassing, proof, notions, encompass, constants, variables, latin, symbols, constructed, constructor, atomic, construction, predicate, consist, connectives, quantifiers, conditional, connective, implication, expressions, closed, contain, herbrand, expression, constructors, equality, reflexive, theory, axioms, basic, denoted, assertions, represents, derivation, extracting, suiting, satisfying, equivalence, deduction, deducting, similarity, violate, untouched, accordingly, satisfies, splitting, splits, components, resolution, sub, performs, replaces, equivalent, skolemization, assumes, inputs, smaller, illustrate, nonempty, character, nr, axiom, obtain, concatenation, property, trichotomy, final, sygus, specifies, synthesizer, user, assertion, alur, et, al, potential, benefits, classical, advantages, candidate, limits, implementations, gaining, computational, performance, solving, programme, syntactic, constraint, inference, defines, interpretation, formula, universally, quantified, grammar, restricts, universe, typed, symbol, vocabulary, [f, e], modulo, oracle, susmit, jha, fusion, oracleguided, satisfiability, theories, solvers, manipulation, deobfuscation, converting, difficult, simpler, validation, whether, variable, requirements, temporary, permutation, procedure, encode, encoding, exist, formulas, syntactically, formed, embodies, exists, integer, location, formedness, functional, properties, bijective, assignment, iff, sake, simplicity, obtained, defining, behavioral, finite, behavioural, behaviour, expensive, operation, distinguishing, differentiates, behavior, synthesising, generates, searched, expanded, successful, combination, implementation, challenging, synthesizers, therefore, establishing, synergy, challenges, challenge, lezama, meta, deduce, programmers, needed, thinking, efficiently, extend, reuse, complexity, sketch, boolean, synthesize, counterexample, core, procedures, automatically, validate, regards, operate, concurrent, ranging, cypher, linked, structures, claim, optimized, concurrency, finelocking, scheme, dining, philosophers, reversing, barrier, generating, spans, mainly, recursive, depending, paradigm, prolog, outputevaluation, passed, action, computing, templates, heuristics, biases, consisting, turingcomplete, representations, conditionals, controls, partial, prominence, enabling, polozov, extensive, efforts, lack, extensibility, underlying, causes, partitioning, patterns, predicates, computes, systematically, randomly, greedy, parallel, hofmann, traceable, hypotheses, combines, analytical, equations, inputoutput, declaration, signature, induced, auxiliary, identical, infer, parameters, constrained, occur, restrictions, bias, infinitely, preference, possi, ble, solutions, selecting, subsets, hypothesis, successor, contains, substation, replacement, pattern, refinement, replace, achieves, distinction, introducing, equation, recursively, noted, arguments, perceived, finished, finalized, derived, outputted, evolution, olsson, induces, containing, recursion, invented, numerical, applications, experimentally, highquality, automating, beneficial, detail, maintains, population, hierarchically, entities, taxonomy, species, similar, founding, compound, transformations, ranking, combinations, newly, ranked, randomness, oriented, pillay, chalmers, rulebased, expert, induce, translator, represented, descriptions, internal, creating, convenient, visualized, entity, characteristics, cheque, profile, balance, withdraw, characteristic, accountnumber, withdrawal, employs, generational, control, elements, terminal, refined, evaluation, regeneration, iterations, exhausted, novel, unifies, strengths, restricted, reduces, employed, limited, drastically, commons, less, easiest, addition, witness, capture, inverse, enumerative, flashmeta, declarative, maintenance, developer, parameterize, provides, generic, operators, reused, conformant, modelling, develop, various, 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, textual, document, filter, neuro, symbolic, parisotto, trained, incrementally, explicit, capable, modular, neural, network, cross, correlation, produces, continuous, reverse, expanding, synthesizes, context, parse, generative, consistent, illustrates, training, phase, accurate, compute, uniformly, samples, sample, terminals, expansion, straightforward, assigns, probabilities, optimize, derivations, node, encodes, global, vector, assigned, applies, backtracks, pass, starting, invoked, update, testing, tested, distributing, accuracy, optimal, applicable, utilized, robustfill, leverages, crafted, attentional, dataset, outcomes, turned, employing, automation, decided, gottschlich, solely, tightly, limiting, feasible, minimum, gene, range, increment, pointer, decrement, byte, ptr, matching, unless, turing, theoretically, scope, taped, unlimited, memory, legacy, khatchadourian, employ, enumeration, brittleness, interprocedural, inferencing, lifecycle, enumerated, refactor, projects, composition, adapter, apis, omer, schill, proposes, runtime, occurring, composing, semi, dependencies, emerging, independently, developed, adapters, hossny, communicating, via, slight, updated, dependants, propose, annotations, requires, conceptual, meanings, ontology, documentation, zhai, easily, functionality, natural, received, completion, suggestions, development, popular, assistant, mining, collect, codes, repositories, github, plugin, visual, studio, enables, mined, statistical, models, completions, providing, subsection, operating, scaling, slightly, modified, limitation, relations, applicative, effects, require, benchmarking, apparent, changing, relatively, experience, exploring, dominant, scalable, across, domains, tolerance, lowers, returning, users, supervised, availability, indicating, remained, transfer, usability, terpret, expressing, pushgp, suited, magichaskeller, haskell, recently, launched, product, encapsulates, robusfill, distribution, explained, trends, targeted, evident, equally, conditioned, synthesisinductive, expon, graph, closer, trend, popularity, growing, extent, indicator, distorted, manner, networks, average, per, dedicated, enhancement, stated, actually, transferred, explicitly, fixed, keeping, probably, promote, conclusion, thesis, conclude, topics, researchers, consider, operations, technology, advance, desirable, matched, throughout, breakthrough, inspired, regarding, extending, embraced, supervisedlearning, reinforced, situation, marginal, catalyse