Global Information Lookup Global Information

Automatic programming information


In computer science, automatic programming[1] is a type of computer programming in which some mechanism generates a computer program to allow human programmers to write the code at a higher abstraction level.

There has been little agreement on the precise definition of automatic programming, mostly because its meaning has changed over time. David Parnas, tracing the history of "automatic programming" in published research, noted that in the 1940s it described automation of the manual process of punching paper tape. Later it referred to translation of high-level programming languages like Fortran and ALGOL. In fact, one of the earliest programs identifiable as a compiler was called Autocode. Parnas concluded that "automatic programming has always been a euphemism for programming in a higher-level language than was then available to the programmer."[2]

Program synthesis is one type of automatic programming where a procedure is created from scratch, based on mathematical requirements.

  1. ^ Ricardo Aler Mur, "Automatic Inductive Programming Archived 2016-03-04 at the Wayback Machine", ICML 2006 Tutorial. June 2006.
  2. ^ D. L. Parnas. "Software Aspects of Strategic Defense Systems." American Scientist. November 1985.

and 20 Related for: Automatic programming information

Request time (Page generated in 0.8322 seconds.)

Automatic programming

Last Update:

In computer science, automatic programming is a type of computer programming in which some mechanism generates a computer program to allow human programmers...

Word Count : 891

Formal verification

Last Update:

of the program. A variety of techniques are employed, most notably using satisfiability modulo theories (SMT) solvers, and genetic programming, using...

Word Count : 1811

Genetic programming

Last Update:

Automatic Programming!". www.cs.bham.ac.uk. Retrieved 2018-05-20. "Genetic Programming -- An Introduction; On the Automatic Evolution of Computer Programs and...

Word Count : 2810

Code generation

Last Update:

produce the executable form of computer programs, such as machine code, in some automatic manner Automatic programming (source code generation), the act of...

Word Count : 167

Inductive programming

Last Update:

Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses...

Word Count : 2546

Automatic differentiation

Last Update:

evaluate the partial derivative of a function specified by a computer program. Automatic differentiation exploits the fact that every computer calculation...

Word Count : 6047

Programming tool

Last Update:

write a program in a programming language like C, Java or Python. Programming tools like assemblers, compilers and linkers translate a program from a human...

Word Count : 1001

Automatic bug fixing

Last Update:

referred to as automatic patch generation, automatic bug repair, or automatic program repair. The typical goal of such techniques is to automatically generate...

Word Count : 4117

Program synthesis

Last Update:

different degrees of automation. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements...

Word Count : 2583

Automatic variable

Last Update:

In computer programming, an automatic variable is a local variable which is allocated and deallocated automatically when program flow enters and leaves...

Word Count : 767

Visual programming language

Last Update:

computing, a visual programming language (visual programming system, VPL, or, VPS), also known as diagrammatic programming, graphical programming or block coding...

Word Count : 3278

Memoization

Last Update:

which his paper demonstrated automatic memoization), but also in various other programming languages. Applications of automatic memoization have also been...

Word Count : 3744

Differentiable programming

Last Update:

Differentiable programming is a programming paradigm in which a numeric computer program can be differentiated throughout via automatic differentiation...

Word Count : 938

Automatic mutual exclusion

Last Update:

Automatic mutual exclusion is a parallel computing programming paradigm in which threads are divided into atomic chunks, and the atomic execution of the...

Word Count : 70

Grace Hopper

Last Update:

She was a pioneer of computer programming. Hopper was the first to devise the theory of machine-independent programming languages, and used this theory...

Word Count : 6784

Programming language

Last Update:

producing what's known in programming as an executable. Computer architecture has strongly influenced the design of programming languages, with the most...

Word Count : 8513

Numerical control

Last Update:

Of NC", Modern Machine Shop, 12 January 1998. Siegel, Arnold. "Automatic Programming of Numerically Controlled Machine Tools", Control Engineering, Volume...

Word Count : 3220

Systems programming

Last Update:

Systems programming, or system programming, is the activity of programming computer system software. The primary distinguishing characteristic of systems...

Word Count : 716

Object file

Last Update:

information. The term "object program" dates from at least the 1950s: A term in automatic programming for the machine language program produced by the machine...

Word Count : 1440

Reactive programming

Last Update:

In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm...

Word Count : 3443

PDF Search Engine © AllGlobal.net