Program execution |
---|
General concepts |
Types of code |
Compilation strategies |
Notable runtimes |
|
Notable compilers & toolchains |
|
A computer program is a sequence or set [a] of instructions in a programming language for a computer to execute. It is one component of software, which also includes documentation and other intangible components. [1]
A computer program in its human-readable form is called source code. Source code needs another computer program to execute because computers can only execute their native machine instructions. Therefore, source code may be translated to machine instructions using a compiler written for the language. (Assembly language programs are translated using an assembler.) The resulting file is called an executable. Alternatively, source code may execute within an interpreter written for the language. [2]
If the executable is requested for execution, then the operating system loads it into memory and starts a process. [3] The central processing unit will soon switch to this process so it can fetch, decode, and then execute each machine instruction. [4]
If the source code is requested for execution, then the operating system loads the corresponding interpreter into memory and starts a process. The interpreter then loads the source code into memory to translate and execute each statement. Running the source code is slower than running an executable. [5] [b] Moreover, the interpreter must be installed on the computer.
The "Hello, World!" program is used to illustrate a language's basic syntax. The syntax of the language BASIC (1964) was intentionally limited to make the language easy to learn. [6] For example, variables are not declared before being used. [7] Also, variables are automatically initialized to zero. [7] Here is an example computer program, in Basic, to average a list of numbers: [8]
10INPUT"How many numbers to average?",A20FORI=1TOA30INPUT"Enter number:",B40LETC=C+B50NEXTI60LETD=C/A70PRINT"The average is",D80END
Once the mechanics of basic computer programming are learned, more sophisticated and powerful languages are available to build large computer systems. [9]
Improvements in software development are the result of improvements in computer hardware. At each stage in hardware's history, the task of computer programming changed dramatically.
In 1837, Jacquard's loom inspired Charles Babbage to attempt to build the Analytical Engine. [10] The names of the components of the calculating device were borrowed from the textile industry. In the textile industry, yarn was brought from the store to be milled. The device had a store which consisted of memory to hold 1,000 numbers of 50 decimal digits each. [11] Numbers from the store were transferred to the mill for processing. The engine was programmed using two sets of perforated cards. One set directed the operation and the other set inputted the variables. [10] [12] However, the thousands of cogged wheels and gears never fully worked together. [13]
Ada Lovelace worked for Charles Babbage to create a description of the Analytical Engine (1843). [14] The description contained Note G which completely detailed a method for calculating Bernoulli numbers using the Analytical Engine. This note is recognized by some historians as the world's first computer program. [13]
In 1936, Alan Turing introduced the Universal Turing machine, a theoretical device that can model every computation. [15] It is a finite-state machine that has an infinitely long read/write tape. The machine can move the tape back and forth, changing its contents as it performs an algorithm. The machine starts in the initial state, goes through a sequence of steps, and halts when it encounters the halt state. [16] All present-day computers are Turing complete. [17]
The Electronic Numerical Integrator And Computer (ENIAC) was built between July 1943 and Fall 1945. It was a Turing complete, general-purpose computer that used 17,468 vacuum tubes to create the circuits. At its core, it was a series of Pascalines wired together. [18] Its 40 units weighed 30 tons, occupied 1,800 square feet (167 m2), and consumed $650 per hour (in 1940s currency) in electricity when idle. [18] It had 20 base-10 accumulators. Programming the ENIAC took up to two months. [18] Three function tables were on wheels and needed to be rolled to fixed function panels. Function tables were connected to function panels by plugging heavy black cables into plugboards. Each function table had 728 rotating knobs. Programming the ENIAC also involved setting some of the 3,000 switches. Debugging a program took a week. [19] It ran from 1947 until 1955 at Aberdeen Proving Ground, calculating hydrogen bomb parameters, predicting weather patterns, and producing firing tables to aim artillery guns. [20]
Instead of plugging in cords and turning switches, a stored-program computer loads its instructions into memory just like it loads its data into memory. [21] As a result, the computer could be programmed quickly and perform calculations at very fast speeds. [22] Presper Eckert and John Mauchly built the ENIAC. The two engineers introduced the stored-program concept in a three-page memo dated February 1944. [23] Later, in September 1944, John von Neumann began working on the ENIAC project. On June 30, 1945, von Neumann published the First Draft of a Report on the EDVAC , which equated the structures of the computer with the structures of the human brain. [22] The design became known as the von Neumann architecture. The architecture was simultaneously deployed in the constructions of the EDVAC and EDSAC computers in 1949. [24]
The IBM System/360 (1964) was a family of computers, each having the same instruction set architecture. The Model 20 was the smallest and least expensive. Customers could upgrade and retain the same application software. [25] The Model 195 was the most premium. Each System/360 model featured multiprogramming [25] —having multiple processes in memory at once. When one process was waiting for input/output, another could compute.
IBM planned for each model to be programmed using PL/1. [26] A committee was formed that included COBOL, Fortran and ALGOL programmers. The purpose was to develop a language that was comprehensive, easy to use, extendible, and would replace Cobol and Fortran. [26] The result was a large and complex language that took a long time to compile. [27]
Computers manufactured until the 1970s had front-panel switches for manual programming. [28] The computer program was written on paper for reference. An instruction was represented by a configuration of on/off settings. After setting the configuration, an execute button was pressed. This process was then repeated. Computer programs also were automatically inputted via paper tape, punched cards or magnetic-tape. After the medium was loaded, the starting address was set via switches, and the execute button was pressed. [28]
A major milestone in software development was the invention of the Very Large Scale Integration (VLSI) circuit (1964). [29] Following World War II, tube-based technology was replaced with point-contact transistors (1947) and bipolar junction transistors (late 1950s) mounted on a circuit board. [29] During the 1960s, the aerospace industry replaced the circuit board with an integrated circuit chip. [29]
Robert Noyce, co-founder of Fairchild Semiconductor (1957) and Intel (1968), achieved a technological improvement to refine the production of field-effect transistors (1963). [30] The goal is to alter the electrical resistivity and conductivity of a semiconductor junction. First, naturally occurring silicate minerals are converted into polysilicon rods using the Siemens process. [31] The Czochralski process then converts the rods into a monocrystalline silicon, boule crystal. [32] The crystal is then thinly sliced to form a wafer substrate. The planar process of photolithography then integrates unipolar transistors, capacitors, diodes, and resistors onto the wafer to build a matrix of metal–oxide–semiconductor (MOS) transistors. [33] [34] The MOS transistor is the primary component in integrated circuit chips. [30]
Originally, integrated circuit chips had their function set during manufacturing. During the 1960s, controlling the electrical flow migrated to programming a matrix of read-only memory (ROM). The matrix resembled a two-dimensional array of fuses. [29] The process to embed instructions onto the matrix was to burn out the unneeded connections. [29] There were so many connections, firmware programmers wrote a computer program on another chip to oversee the burning. [29] The technology became known as Programmable ROM. In 1971, Intel installed the computer program onto the chip and named it the Intel 4004 microprocessor. [35]
The terms microprocessor and central processing unit (CPU) are now used interchangeably. However, CPUs predate microprocessors. For example, the IBM System/360 (1964) had a CPU made from circuit boards containing discrete components on ceramic substrates. [36]
The Intel 4004 (1971) was a 4-bit microprocessor designed to run the Busicom calculator. Five months after its release, Intel released the Intel 8008, an 8-bit microprocessor. Bill Pentz led a team at Sacramento State to build the first microcomputer using the Intel 8008: the Sac State 8008 (1972). [37] Its purpose was to store patient medical records. The computer supported a disk operating system to run a Memorex, 3-megabyte, hard disk drive. [29] It had a color display and keyboard that was packaged in a single console. The disk operating system was programmed using IBM's Basic Assembly Language (BAL). The medical records application was programmed using a BASIC interpreter. [29] However, the computer was an evolutionary dead-end because it was extremely expensive. Also, it was built at a public university lab for a specific purpose. [37] Nonetheless, the project contributed to the development of the Intel 8080 (1974) instruction set. [29]
In 1978, the modern software development environment began when Intel upgraded the Intel 8080 to the Intel 8086. Intel simplified the Intel 8086 to manufacture the cheaper Intel 8088. [38] IBM embraced the Intel 8088 when they entered the personal computer market (1981). As consumer demand for personal computers increased, so did Intel's microprocessor development. The succession of development is known as the x86 series. The x86 assembly language is a family of backward-compatible machine instructions. Machine instructions created in earlier microprocessors were retained throughout microprocessor upgrades. This enabled consumers to purchase new computers without having to purchase new application software. The major categories of instructions are: [c]
VLSI circuits enabled the programming environment to advance from a computer terminal (until the 1990s) to a graphical user interface (GUI) computer. Computer terminals limited programmers to a single shell running in a command-line environment. During the 1970s, full-screen source code editing became possible through a text-based user interface. Regardless of the technology available, the goal is to program in a programming language.
Programming language features exist to provide building blocks to be combined to express programming ideals. [39] Ideally, a programming language should: [39]
The programming style of a programming language to provide these building blocks may be categorized into programming paradigms. [40] For example, different paradigms may differentiate: [40]
Each of these programming styles has contributed to the synthesis of different programming languages. [40]
A programming language is a set of keywords, symbols, identifiers, and rules by which programmers can communicate instructions to the computer. [41] They follow a set of rules called a syntax. [41]
Programming languages get their basis from formal languages. [42] The purpose of defining a solution in terms of its formal language is to generate an algorithm to solve the underlining problem. [42] An algorithm is a sequence of simple instructions that solve a problem. [43]
The evolution of programming languages began when the EDSAC (1949) used the first stored computer program in its von Neumann architecture. [44] Programming the EDSAC was in the first generation of programming language.
Imperative languages specify a sequential algorithm using declarations, expressions, and statements: [52]
var x: integer;
2 + 2
yields 4x := 2 + 2; if x = 4 then do_something();
FORTRAN (1958) was unveiled as "The IBM Mathematical FORmula TRANslating system". It was designed for scientific calculations, without string handling facilities. Along with declarations, expressions, and statements, it supported:
It succeeded because:
However, non-IBM vendors also wrote Fortran compilers, but with a syntax that would likely fail IBM's compiler. [54] The American National Standards Institute (ANSI) developed the first Fortran standard in 1966. In 1978, Fortran 77 became the standard until 1991. Fortran 90 supports:
COBOL (1959) stands for "COmmon Business Oriented Language". Fortran manipulated symbols. It was soon realized that symbols did not need to be numbers, so strings were introduced. [55] The US Department of Defense influenced COBOL's development, with Grace Hopper being a major contributor. The statements were English-like and verbose. The goal was to design a language so managers could read the programs. However, the lack of structured statements hindered this goal. [56]
COBOL's development was tightly controlled, so dialects did not emerge to require ANSI standards. As a consequence, it was not changed for 15 years until 1974. The 1990s version did make consequential changes, like object-oriented programming. [56]
ALGOL (1960) stands for "ALGOrithmic Language". It had a profound influence on programming language design. [57] Emerging from a committee of European and American programming language experts, it used standard mathematical notation and had a readable, structured design. Algol was first to define its syntax using the Backus–Naur form. [57] This led to syntax-directed compilers. It added features like:
Algol's direct descendants include Pascal, Modula-2, Ada, Delphi and Oberon on one branch. On another branch the descendants include C, C++ and Java. [57]
BASIC (1964) stands for "Beginner's All-Purpose Symbolic Instruction Code". It was developed at Dartmouth College for all of their students to learn. [8] If a student did not go on to a more powerful language, the student would still remember Basic. [8] A Basic interpreter was installed in the microcomputers manufactured in the late 1970s. As the microcomputer industry grew, so did the language. [8]
Basic pioneered the interactive session. [8] It offered operating system commands within its environment:
However, the Basic syntax was too simple for large programs. [8] Recent dialects added structure and object-oriented extensions. Microsoft's Visual Basic is still widely used and produces a graphical user interface. [7]
C programming language (1973) got its name because the language BCPL was replaced with B, and AT&T Bell Labs called the next version "C". Its purpose was to write the UNIX operating system. [50] C is a relatively small language, making it easy to write compilers. Its growth mirrored the hardware growth in the 1980s. [50] Its growth also was because it has the facilities of assembly language, but uses a high-level syntax. It added advanced features like:
C allows the programmer to control which region of memory data is to be stored. Global variables and static variables require the fewest clock cycles to store. The stack is automatically used for the standard variable declarations. Heap memory is returned to a pointer variable from the malloc()
function.
main()
function. [59] Global variables are visible to main()
and every other function in the source code.main()
, other functions, or within {
}
block delimiters are local variables. Local variables also include formal parameter variables. Parameter variables are enclosed within the parenthesis of a function definition. [60] Parameters provide an interface to the function.static
prefix are also stored in the global and static data region. [58] Unlike global variables, static variables are only visible within the function or block. Static variables always retain their value. An example usage would be the function int increment_counter(){static int counter = 0; counter++; return counter;}
[g] malloc()
library function to allocate heap memory. [i] [64] Populating the heap with data is an additional copy function. [j] Variables stored in the heap are economically passed to functions using pointers. Without pointers, the entire block of data would have to be passed to the function via the stack.In the 1970s, software engineers needed language support to break large projects down into modules. [65] One obvious feature was to decompose large projects physically into separate files. A less obvious feature was to decompose large projects logically into abstract data types. [65] At the time, languages supported concrete (scalar) datatypes like integer numbers, floating-point numbers, and strings of characters. Abstract datatypes are structures of concrete datatypes, with a new name assigned. For example, a list of integers could be called integer_list
.
In object-oriented jargon, abstract datatypes are called classes. However, a class is only a definition; no memory is allocated. When memory is allocated to a class and bound to an identifier, it is called an object. [66]
Object-oriented imperative languages developed by combining the need for classes and the need for safe functional programming. [67] A function, in an object-oriented language, is assigned to a class. An assigned function is then referred to as a method, member function, or operation. Object-oriented programming is executing operations on objects. [68]
Object-oriented languages support a syntax to model subset/superset relationships. In set theory, an element of a subset inherits all the attributes contained in the superset. For example, a student is a person. Therefore, the set of students is a subset of the set of persons. As a result, students inherit all the attributes common to all persons. Additionally, students have unique attributes that other people do not have. Object-oriented languages model subset/superset relationships using inheritance. [69] Object-oriented programming became the dominant language paradigm by the late 1990s. [65]
C++ (1985) was originally called "C with Classes". [70] It was designed to expand C's capabilities by adding the object-oriented facilities of the language Simula. [71]
An object-oriented module is composed of two files. The definitions file is called the header file. Here is a C++ header file for the GRADE class in a simple school application:
// grade.h// -------// Used to allow multiple source files to include// this header file without duplication errors.// ----------------------------------------------#ifndef GRADE_H#define GRADE_HclassGRADE{public:// This is the constructor operation.// ----------------------------------GRADE(constcharletter);// This is a class variable.// -------------------------charletter;// This is a member operation.// ---------------------------intgrade_numeric(constcharletter);// This is a class variable.// -------------------------intnumeric;};#endif
A constructor operation is a function with the same name as the class name. [72] It is executed when the calling operation executes the new
statement.
A module's other file is the source file . Here is a C++ source file for the GRADE class in a simple school application:
// grade.cpp// ---------#include"grade.h"GRADE::GRADE(constcharletter){// Reference the object using the keyword 'this'.// ----------------------------------------------this->letter=letter;// This is Temporal Cohesion// -------------------------this->numeric=grade_numeric(letter);}intGRADE::grade_numeric(constcharletter){if((letter=='A'||letter=='a'))return4;elseif((letter=='B'||letter=='b'))return3;elseif((letter=='C'||letter=='c'))return2;elseif((letter=='D'||letter=='d'))return1;elseif((letter=='F'||letter=='f'))return0;elsereturn-1;}
Here is a C++ header file for the PERSON class in a simple school application:
// person.h// --------#ifndef PERSON_H#define PERSON_HclassPERSON{public:PERSON(constchar*name);constchar*name;};#endif
Here is a C++ source file for the PERSON class in a simple school application:
// person.cpp// ----------#include"person.h"PERSON::PERSON(constchar*name){this->name=name;}
Here is a C++ header file for the STUDENT class in a simple school application:
// student.h// ---------#ifndef STUDENT_H#define STUDENT_H#include"person.h"#include"grade.h"// A STUDENT is a subset of PERSON.// --------------------------------classSTUDENT:publicPERSON{public:STUDENT(constchar*name);GRADE*grade;};#endif
Here is a C++ source file for the STUDENT class in a simple school application:
// student.cpp// -----------#include"student.h"#include"person.h"STUDENT::STUDENT(constchar*name):// Execute the constructor of the PERSON superclass.// -------------------------------------------------PERSON(name){// Nothing else to do.// -------------------}
Here is a driver program for demonstration:
// student_dvr.cpp// ---------------#include<iostream>#include"student.h"intmain(void){STUDENT*student=newSTUDENT("The Student");student->grade=newGRADE('a');std::cout// Notice student inherits PERSON's name<<student->name<<": Numeric grade = "<<student->grade->numeric<<"\n";return0;}
Here is a makefile to compile everything:
# makefile# --------all:student_dvrclean:rmstudent_dvr*.o student_dvr:student_dvr.cppgrade.ostudent.operson.oc++student_dvr.cppgrade.ostudent.operson.o-ostudent_dvr grade.o:grade.cppgrade.hc++-cgrade.cpp student.o:student.cppstudent.hc++-cstudent.cpp person.o:person.cppperson.hc++-cperson.cpp
Imperative languages have one major criticism: assigning an expression to a non-local variable may produce an unintended side effect. [73] Declarative languages generally omit the assignment statement and the control flow. They describe what computation should be performed and not how to compute it. Two broad categories of declarative languages are functional languages and logical languages.
The principle behind a functional language is to use lambda calculus as a guide for a well defined semantic. [74] In mathematics, a function is a rule that maps elements from an expression to a range of values. Consider the function:
times_10(x) = 10 * x
The expression10 * x
is mapped by the function times_10()
to a range of values. One value happens to be 20. This occurs when x is 2. So, the application of the function is mathematically written as:
times_10(2) = 20
A functional language compiler will not store this value in a variable. Instead, it will push the value onto the computer's stack before setting the program counter back to the calling function. The calling function will then pop the value from the stack. [75]
Imperative languages do support functions. Therefore, functional programming can be achieved in an imperative language, if the programmer uses discipline. However, a functional language will force this discipline onto the programmer through its syntax. Functional languages have a syntax tailored to emphasize the what. [76]
A functional program is developed with a set of primitive functions followed by a single driver function. [73] Consider the snippet:
function max( a, b ){/* code omitted */}
function min( a, b ){/* code omitted */}
function range( a, b, c ) {
return max( a, max( b, c ) ) - min( a, min( b, c ) );
}
The primitives are max()
and min()
. The driver function is range()
. Executing:
put( range( 10, 4, 7) );
will output 6.
Functional languages are used in computer science research to explore new language features. [77] Moreover, their lack of side-effects have made them popular in parallel programming and concurrent programming. [78] However, application developers prefer the object-oriented features of imperative languages. [78]
Lisp (1958) stands for "LISt Processor". [79] It is tailored to process lists. A full structure of the data is formed by building lists of lists. In memory, a tree data structure is built. Internally, the tree structure lends nicely for recursive functions. [80] The syntax to build a tree is to enclose the space-separated elements within parenthesis. The following is a list of three elements. The first two elements are themselves lists of two elements:
((A B) (HELLO WORLD) 94)
Lisp has functions to extract and reconstruct elements. [81] The function head()
returns a list containing the first element in the list. The function tail()
returns a list containing everything but the first element. The function cons()
returns a list that is the concatenation of other lists. Therefore, the following expression will return the list x
:
cons(head(x), tail(x))
One drawback of Lisp is when many functions are nested, the parentheses may look confusing. [76] Modern Lisp environments help ensure parenthesis match. As an aside, Lisp does support the imperative language operations of the assignment statement and goto loops. [82] Also, Lisp is not concerned with the datatype of the elements at compile time. [83] Instead, it assigns (and may reassign) the datatypes at runtime. Assigning the datatype at runtime is called dynamic binding. [84] Whereas dynamic binding increases the language's flexibility, programming errors may linger until late in the software development process. [84]
Writing large, reliable, and readable Lisp programs requires forethought. If properly planned, the program may be much shorter than an equivalent imperative language program. [76] Lisp is widely used in artificial intelligence. However, its usage has been accepted only because it has imperative language operations, making unintended side-effects possible. [78]
ML (1973) [85] stands for "Meta Language". ML checks to make sure only data of the same type are compared with one another. [86] For example, this function has one input parameter (an integer) and returns an integer:
funtimes_10(n:int):int=10*n;
ML is not parenthesis-eccentric like Lisp. The following is an application of times_10()
:
times_10 2
It returns "20 : int". (Both the results and the datatype are returned.)
Like Lisp, ML is tailored to process lists. Unlike Lisp, each element is the same datatype. [87] Moreover, ML assigns the datatype of an element at compile-time. Assigning the datatype at compile-time is called static binding. Static binding increases reliability because the compiler checks the context of variables before they are used. [88]
Prolog (1972) stands for "PROgramming in LOGic". It is a logic programming language, based on formal logic. The language was developed by Alain Colmerauer and Philippe Roussel in Marseille, France. It is an implementation of Selective Linear Definite clause resolution, pioneered by Robert Kowalski and others at the University of Edinburgh. [89]
The building blocks of a Prolog program are facts and rules. Here is a simple example:
cat(tom).% tom is a catmouse(jerry).% jerry is a mouseanimal(X):-cat(X).% each cat is an animalanimal(X):-mouse(X).% each mouse is an animalbig(X):-cat(X).% each cat is bigsmall(X):-mouse(X).% each mouse is smalleat(X,Y):-mouse(X),cheese(Y).% each mouse eats each cheeseeat(X,Y):-big(X),small(Y).% each big animal eats each small animal
After all the facts and rules are entered, then a question can be asked:
?-eat(tom,jerry).true
The following example shows how Prolog will convert a letter grade to its numeric value:
numeric_grade('A',4).numeric_grade('B',3).numeric_grade('C',2).numeric_grade('D',1).numeric_grade('F',0).numeric_grade(X,-1):-notX='A',notX='B',notX='C',notX='D',notX='F'.grade('The Student','A').
?-grade('The Student',X),numeric_grade(X,Y).X='A',Y=4
Here is a comprehensive example: [90]
1) All dragons billow fire, or equivalently, a thing billows fire if the thing is a dragon:
billows_fire(X):-is_a_dragon(X).
2) A creature billows fire if one of its parents billows fire:
billows_fire(X):-is_a_creature(X),is_a_parent_of(Y,X),billows_fire(Y).
3) A thing X is a parent of a thing Y if X is the mother of Y or X is the father of Y:
is_a_parent_of(X,Y):-is_the_mother_of(X,Y).is_a_parent_of(X,Y):-is_the_father_of(X,Y).
4) A thing is a creature if the thing is a dragon:
is_a_creature(X):-is_a_dragon(X).
5) Norberta is a dragon, and Puff is a creature. Norberta is the mother of Puff.
is_a_dragon(norberta).is_a_creature(puff).is_the_mother_of(norberta,puff).
Rule (2) is a recursive (inductive) definition. It can be understood declaratively, without the need to understand how it is executed.
Rule (3) shows how functions are represented by using relations. Here, the mother and father functions ensure that every individual has only one mother and only one father.
Prolog is an untyped language. Nonetheless, inheritance can be represented by using predicates. Rule (4) asserts that a creature is a superclass of a dragon.
Questions are answered using backward reasoning. Given the question:
?-billows_fire(X).
Prolog generates two answers :
X=norbertaX=puff
Practical applications for Prolog are knowledge representation and problem solving in artificial intelligence.
Object-oriented programming is a programming method to execute operations (functions) on objects. [91] The basic idea is to group the characteristics of a phenomenon into an object container and give the container a name. The operations on the phenomenon are also grouped into the container. [91] Object-oriented programming developed by combining the need for containers and the need for safe functional programming. [92] This programming method need not be confined to an object-oriented language. [93] In an object-oriented language, an object container is called a class. In a non-object-oriented language, a data structure (which is also known as a record) may become an object container. To turn a data structure into an object container, operations need to be written specifically for the structure. The resulting structure is called an abstract datatype. [94] However, inheritance will be missing. Nonetheless, this shortcoming can be overcome.
Here is a C programming language header file for the GRADE abstract datatype in a simple school application:
/* grade.h *//* ------- *//* Used to allow multiple source files to include *//* this header file without duplication errors. *//* ---------------------------------------------- */#ifndef GRADE_H#define GRADE_Htypedefstruct{charletter;}GRADE;/* Constructor *//* ----------- */GRADE*grade_new(charletter);intgrade_numeric(charletter);#endif
The grade_new()
function performs the same algorithm as the C++ constructor operation.
Here is a C programming language source file for the GRADE abstract datatype in a simple school application:
/* grade.c *//* ------- */#include"grade.h"GRADE*grade_new(charletter){GRADE*grade;/* Allocate heap memory *//* -------------------- */if(!(grade=calloc(1,sizeof(GRADE)))){fprintf(stderr,"ERROR in %s/%s/%d: calloc() returned empty.\n",__FILE__,__FUNCTION__,__LINE__);exit(1);}grade->letter=letter;returngrade;}intgrade_numeric(charletter){if((letter=='A'||letter=='a'))return4;elseif((letter=='B'||letter=='b'))return3;elseif((letter=='C'||letter=='c'))return2;elseif((letter=='D'||letter=='d'))return1;elseif((letter=='F'||letter=='f'))return0;elsereturn-1;}
In the constructor, the function calloc()
is used instead of malloc()
because each memory cell will be set to zero.
Here is a C programming language header file for the PERSON abstract datatype in a simple school application:
/* person.h *//* -------- */#ifndef PERSON_H#define PERSON_Htypedefstruct{char*name;}PERSON;/* Constructor *//* ----------- */PERSON*person_new(char*name);#endif
Here is a C programming language source file for the PERSON abstract datatype in a simple school application:
/* person.c *//* -------- */#include"person.h"PERSON*person_new(char*name){PERSON*person;if(!(person=calloc(1,sizeof(PERSON)))){fprintf(stderr,"ERROR in %s/%s/%d: calloc() returned empty.\n",__FILE__,__FUNCTION__,__LINE__);exit(1);}person->name=name;returnperson;}
Here is a C programming language header file for the STUDENT abstract datatype in a simple school application:
/* student.h *//* --------- */#ifndef STUDENT_H#define STUDENT_H#include"person.h"#include"grade.h"typedefstruct{/* A STUDENT is a subset of PERSON. *//* -------------------------------- */PERSON*person;GRADE*grade;}STUDENT;/* Constructor *//* ----------- */STUDENT*student_new(char*name);#endif
Here is a C programming language source file for the STUDENT abstract datatype in a simple school application:
/* student.c *//* --------- */#include"student.h"#include"person.h"STUDENT*student_new(char*name){STUDENT*student;if(!(student=calloc(1,sizeof(STUDENT)))){fprintf(stderr,"ERROR in %s/%s/%d: calloc() returned empty.\n",__FILE__,__FUNCTION__,__LINE__);exit(1);}/* Execute the constructor of the PERSON superclass. *//* ------------------------------------------------- */student->person=person_new(name);returnstudent;}
Here is a driver program for demonstration:
/* student_dvr.c *//* ------------- */#include<stdio.h>#include"student.h"intmain(void){STUDENT*student=student_new("The Student");student->grade=grade_new('a');printf("%s: Numeric grade = %d\n",/* Whereas a subset exists, inheritance does not. */student->person->name,/* Functional programming is executing functions just-in-time (JIT) */grade_numeric(student->grade->letter));return0;}
Here is a makefile to compile everything:
# makefile# --------all:student_dvrclean:rmstudent_dvr*.o student_dvr:student_dvr.cgrade.ostudent.operson.ogccstudent_dvr.cgrade.ostudent.operson.o-ostudent_dvr grade.o:grade.cgrade.hgcc-cgrade.c student.o:student.cstudent.hgcc-cstudent.c person.o:person.cperson.hgcc-cperson.c
The formal strategy to build object-oriented objects is to: [95]
For example:
The syntax of a computer program is a list of production rules which form its grammar. [96] A programming language's grammar correctly places its declarations, expressions, and statements. [97] Complementing the syntax of a language are its semantics. The semantics describe the meanings attached to various syntactic constructs. [98] A syntactic construct may need a semantic description because a production rule may have an invalid interpretation. [99] Also, different languages might have the same syntax; however, their behaviors may be different.
The syntax of a language is formally described by listing the production rules. Whereas the syntax of a natural language is extremely complicated, a subset of the English language can have this production rule listing: [100]
The words in bold-face are known as non-terminals. The words in 'single quotes' are known as terminals. [101]
From this production rule listing, complete sentences may be formed using a series of replacements. [102] The process is to replace non-terminals with either a valid non-terminal or a valid terminal. The replacement process repeats until only terminals remain. One valid sentence is:
However, another combination results in an invalid sentence:
Therefore, a semantic is necessary to correctly describe the meaning of an eat activity.
One production rule listing method is called the Backus–Naur form (BNF). [103] BNF describes the syntax of a language and itself has a syntax. This recursive definition is an example of a meta-language. [98] The syntax of BNF includes:
::=
which translates to is made up of a[n] when a non-terminal is to its right. It translates to is when a terminal is to its right.|
which translates to or.<
and >
which surround non-terminals.Using BNF, a subset of the English language can have this production rule listing:
<sentence>::=<noun-phrase><verb-phrase><noun-phrase>::=<article><adjective><noun><verb-phrase>::=<verb><noun-phrase><article>::= the <adjective>::= big | small <noun>::= cat | mouse <verb>::= eats
Using BNF, a signed-integer has the production rule listing: [104]
<signed-integer>::=<sign><integer><sign>::= + | - <integer>::=<digit> | <digit><integer><digit>::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Notice the recursive production rule:
<integer>::=<digit> | <digit><integer>
This allows for an infinite number of possibilities. Therefore, a semantic is necessary to describe a limitation of the number of digits.
Notice the leading zero possibility in the production rules:
<integer>::=<digit> | <digit><integer><digit>::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Therefore, a semantic is necessary to describe that leading zeros need to be ignored.
Two formal methods are available to describe semantics. They are denotational semantics and axiomatic semantics. [105]
Software engineering is a variety of techniques to produce quality computer programs. [106] Computer programming is the process of writing or editing source code. In a formal environment, a systems analyst will gather information from managers about all the organization's processes to automate. This professional then prepares a detailed plan for the new or modified system. [107] The plan is analogous to an architect's blueprint. [107]
The systems analyst has the objective to deliver the right information to the right person at the right time. [108] The critical factors to achieve this objective are: [108]
Achieving performance objectives should be balanced with all of the costs, including: [109]
Applying a systems development process will mitigate the axiom: the later in the process an error is detected, the more expensive it is to correct. [110]
The waterfall model is an implementation of a systems development process. [111] As the waterfall label implies, the basic phases overlap each other: [112]
A computer programmer is a specialist responsible for writing or modifying the source code to implement the detailed plan. [107] A programming team is likely to be needed because most systems are too large to be completed by a single programmer. [114] However, adding programmers to a project may not shorten the completion time. Instead, it may lower the quality of the system. [114] To be effective, program modules need to be defined and distributed to team members. [114] Also, team members must interact with one another in a meaningful and effective way. [114]
Computer programmers may be programming in the small: programming within a single module. [115] Chances are a module will execute modules located in other source code files. Therefore, computer programmers may be programming in the large: programming modules so they will effectively couple with each other. [115] Programming-in-the-large includes contributing to the application programming interface (API).
Modular programming is a technique to refine imperative language programs. Refined programs may reduce the software size, separate responsibilities, and thereby mitigate software aging. A program module is a sequence of statements that are bounded within a block and together identified by a name. [116] Modules have a function, context, and logic: [117]
The module's name should be derived first by its function, then by its context. Its logic should not be part of the name. [117] For example, function compute_square_root( x )
or function compute_square_root_integer( i : integer )
are appropriate module names. However, function compute_square_root_by_division( x )
is not.
The degree of interaction within a module is its level of cohesion. [117] Cohesion is a judgment of the relationship between a module's name and its function. The degree of interaction between modules is the level of coupling. [118] Coupling is a judgement of the relationship between a module's context and the elements being performed upon.
The levels of cohesion from worst to best are: [119]
function read_sales_record_print_next_line_convert_to_float()
. Coincidental cohesion occurs in practice if management enforces silly rules. For example, "Every module will have between 35 and 50 executable statements." [119] function perform_arithmetic( perform_addition, a, b )
.function initialize_variables_and_open_files()
. Another example, stage_one()
, stage_two()
, ...function read_part_number_update_employee_record()
.function read_part_number_update_sales_record()
.The levels of coupling from worst to best are: [118]
perform_arithmetic( perform_addition, a, b )
. Instead, control should be on the makeup of the returned object.Data flow analysis is a design method used to achieve modules of functional cohesion and data coupling. [120] The input to the method is a data-flow diagram. A data-flow diagram is a set of ovals representing modules. Each module's name is displayed inside its oval. Modules may be at the executable level or the function level.
The diagram also has arrows connecting modules to each other. Arrows pointing into modules represent a set of inputs. Each module should have only one arrow pointing out from it to represent its single output object. (Optionally, an additional exception arrow points out.) A daisy chain of ovals will convey an entire algorithm. The input modules should start the diagram. The input modules should connect to the transform modules. The transform modules should connect to the output modules. [121]
Computer programs may be categorized along functional lines. The main functional categories are application software and system software. System software includes the operating system, which couples computer hardware with application software. [122] The purpose of the operating system is to provide an environment where application software executes in a convenient and efficient manner. [122] Both application software and system software execute utility programs. At the hardware level, a microcode program controls the circuits throughout the central processing unit.
Application software is the key to unlocking the potential of the computer system. [123] Enterprise application software bundles accounting, personnel, customer, and vendor applications. Examples include enterprise resource planning, customer relationship management, and supply chain management software.
Enterprise applications may be developed in-house as a one-of-a-kind proprietary software. [124] Alternatively, they may be purchased as off-the-shelf software. Purchased software may be modified to provide custom software. If the application is customized, then either the company's resources are used or the resources are outsourced. Outsourced software development may be from the original software vendor or a third-party developer. [125]
The potential advantages of in-house software are features and reports may be developed exactly to specification. [126] Management may also be involved in the development process and offer a level of control. [127] Management may decide to counteract a competitor's new initiative or implement a customer or vendor requirement. [128] A merger or acquisition may necessitate enterprise software changes. The potential disadvantages of in-house software are time and resource costs may be extensive. [124] Furthermore, risks concerning features and performance may be looming.
The potential advantages of off-the-shelf software are upfront costs are identifiable, the basic needs should be fulfilled, and its performance and reliability have a track record. [124] The potential disadvantages of off-the-shelf software are it may have unnecessary features that confuse end users, it may lack features the enterprise needs, and the data flow may not match the enterprise's work processes. [124]
One approach to economically obtaining a customized enterprise application is through an application service provider. [129] Specialty companies provide hardware, custom software, and end-user support. They may speed the development of new applications because they possess skilled information system staff. The biggest advantage is it frees in-house resources from staffing and managing complex computer projects. [129] Many application service providers target small, fast-growing companies with limited information system resources. [129] On the other hand, larger companies with major systems will likely have their technical infrastructure in place. One risk is having to trust an external organization with sensitive information. Another risk is having to trust the provider's infrastructure reliability. [129]
An operating system is the low-level software that supports a computer's basic functions, such as scheduling processes and controlling peripherals. [122]
In the 1950s, the programmer, who was also the operator, would write a program and run it. After the program finished executing, the output may have been printed, or it may have been punched onto paper tape or cards for later processing. [28] More often than not the program did not work. The programmer then looked at the console lights and fiddled with the console switches. If less fortunate, a memory printout was made for further study. In the 1960s, programmers reduced the amount of wasted time by automating the operator's job. A program called an operating system was kept in the computer at all times. [130]
The term operating system may refer to two levels of software. [131] The operating system may refer to the kernel program that manages the processes, memory, and devices. More broadly, the operating system may refer to the entire package of the central software. The package includes a kernel program, command-line interpreter, graphical user interface, utility programs, and editor. [131]
The kernel's main purpose is to manage the limited resources of a computer:
Originally, operating systems were programmed in assembly; however, modern operating systems are typically written in higher-level languages like C, Objective-C, and Swift. [k]
A utility program is designed to aid system administration and software execution. Operating systems execute hardware utility programs to check the status of disk drives, memory, speakers, and printers. [140] A utility program may optimize the placement of a file on a crowded disk. System utility programs monitor hardware and network performance. When a metric is outside an acceptable range, a trigger alert is generated. [141]
Utility programs include compression programs so data files are stored on less disk space. [140] Compressed programs also save time when data files are transmitted over the network. [140] Utility programs can sort and merge data sets. [141] Utility programs detect computer viruses. [141]
A microcode program is the bottom-level interpreter that controls the data path of software-driven computers. [142] (Advances in hardware have migrated these operations to hardware execution circuits.) [142] Microcode instructions allow the programmer to more easily implement the digital logic level [143] —the computer's real hardware. The digital logic level is the boundary between computer science and computer engineering. [144]
A logic gate is a tiny transistor that can return one of two signals: on or off. [145]
These five gates form the building blocks of binary algebra—the digital logic functions of the computer.
Microcode instructions are mnemonics programmers may use to execute digital logic functions instead of forming them in binary algebra. They are stored in a central processing unit's (CPU) control store. [146] These hardware-level instructions move data throughout the data path.
The micro-instruction cycle begins when the microsequencer uses its microprogram counter to fetch the next machine instruction from random-access memory. [147] The next step is to decode the machine instruction by selecting the proper output line to the hardware module. [148] The final step is to execute the instruction using the hardware module's set of gates.
Instructions to perform arithmetic are passed through an arithmetic logic unit (ALU). [149] The ALU has circuits to perform elementary operations to add, shift, and compare integers. By combining and looping the elementary operations through the ALU, the CPU performs its complex arithmetic.
Microcode instructions move data between the CPU and the memory controller. Memory controller microcode instructions manipulate two registers. The memory address register is used to access each memory cell's address. The memory data register is used to set and read each cell's contents. [150]
Microcode instructions move data between the CPU and the many computer buses. The disk controller bus writes to and reads from hard disk drives. Data is also moved between the CPU and other functional units via the peripheral component interconnect express bus. [151]
x++
will usually compile to a single instruction.int increment_counter(){ static int counter; return ++counter;}
. 1) Static variables are automatically initialized to zero. 2) ++counter
is a prefix increment operator.calloc()
function to allocate heap memory. It provides two additional services: 1) It allows the programmer to create an array of arbitrary size. 2) It sets each memory cell to zero.strdup()
function. It executes both the allocation function and the copy function.Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). As of May 2023, the standard, called Ada 2022 informally, is ISO/IEC 8652:2023.
Donald Ervin Knuth is an American computer scientist and mathematician. He is a professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer science. Knuth has been called the "father of the analysis of algorithms".
Fortran is a third generation, compiled, imperative programming language that is especially suited to numeric computation and scientific computing.
An operating system (OS) is system software that manages computer hardware and software resources, and provides common services for computer programs.
A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their syntax (form) and semantics (meaning), usually defined by a formal language. Languages usually provide features such as a type system, variables, and mechanisms for error handling. An implementation of a programming language is required in order to execute programs, namely an interpreter or a compiler. An interpreter directly executes the source code, while a compiler produces an executable program.
In computing, source code, or simply code or source, is a plain text computer program written in a programming language. A programmer writes the human readable source code to control the behavior of a computer.
C++ is a high-level, general-purpose programming language created by Danish computer scientist Bjarne Stroustrup. First released in 1985 as an extension of the C programming language, it has since expanded significantly over time; as of 1997, C++ has object-oriented, generic, and functional features, in addition to facilities for low-level memory manipulation for systems like microcomputers or to make operating systems like Linux or Windows. It is usually implemented as a compiled language, and many vendors provide C++ compilers, including the Free Software Foundation, LLVM, Microsoft, Intel, Embarcadero, Oracle, and IBM.
In computer science, a library is a collection of resources that is leveraged during software development to implement a computer program.
In software engineering, a software design pattern or design pattern is a general, reusable solution to a commonly occurring problem in many contexts in software design. A design pattern is not a rigid structure that can be transplanted directly into source code. Rather, it is a description or a template for solving a particular type of problem that can be deployed in many different situations. Design patterns can be viewed as formalized best practices that the programmer may use to solve common problems when designing a software application or system.
In computer science, imperative programming is a programming paradigm of software that uses statements that change a program's state. In much the same way that the imperative mood in natural languages expresses commands, an imperative program consists of commands for the computer to perform. Imperative programming focuses on describing how a program operates step by step, rather than on high-level descriptions of its expected results.
In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow.
In data hierarchy, a field is a variable in a record. A record, also known as a data structure, allows logically related data to be identified by a single name. Identifying related data as a single group is central to the construction of understandable computer programs. The individual fields in a record may be accessed by name, just like any variable in a computer program.
In computing, an interface is a shared boundary across which two or more separate components of a computer system exchange information. The exchange can be between software, computer hardware, peripheral devices, humans, and combinations of these. Some computer hardware devices, such as a touchscreen, can both send and receive data through the interface, while others such as a mouse or microphone may only provide an interface to send data to a given system.
In computing, a memory barrier, also known as a membar, memory fence or fence instruction, is a type of barrier instruction that causes a central processing unit (CPU) or compiler to enforce an ordering constraint on memory operations issued before and after the barrier instruction. This typically means that operations issued prior to the barrier are guaranteed to be performed before operations issued after the barrier.
In computer programming, a static variable is a variable that has been allocated "statically", meaning that its lifetime is the entire run of the program. This is in contrast to shorter-lived automatic variables, whose storage is stack allocated and deallocated on the call stack; and in contrast to dynamically allocated objects, whose storage is allocated and deallocated in heap memory.
In the context of computer programming, magic is an informal term for abstraction; it is used to describe code that handles complex tasks while hiding that complexity to present a simple interface. The term is somewhat tongue-in-cheek, and often carries bad connotations, implying that the true behavior of the code is not immediately apparent. For example, Perl's polymorphic typing and closure mechanisms are often called "magic".
In computer science, an opaque data type is a data type whose concrete data structure is not defined in an interface. This enforces information hiding, since its values can only be manipulated by calling subroutines that have access to the missing information. The concrete representation of the type is hidden from its users, and the visible implementation is incomplete. A data type whose representation is visible is called transparent. Opaque data types are frequently used to implement abstract data types.
Object-oriented programming (OOP) is a programming paradigm based on the concept of objects, which can contain data and code: data in the form of fields, and code in the form of procedures. In OOP, computer programs are designed by making them out of objects that interact with one another.
In computer programming, a function is a callable unit of software logic that has a well-defined interface and behavior and can be invoked multiple times.
This glossary of computer science is a list of definitions of terms and concepts used in computer science, its sub-disciplines, and related fields, including terms relevant to software, data science, and computer programming.
[Software includes] all or part of the programs, procedures, rules, and associated documentation of an information processing system.
An alternative to compiling a source program is to use an interpreter. An interpreter can directly execute a source program[.]
Their intention was to produce a language that was very simple for students to learn[.]
The idea was that students could be merely casual users or go on from Basic to more sophisticated and powerful languages[.]
Turing machines can model all the computations that can be performed on a computing machine.
[A]ll the common mathematical functions, no matter how complicated, are Turing-computable.
With third-generation and higher-level programming languages, each statement in the language translates into several instructions in machine language.
When there is a function call, all the important information needs to be saved, such as register values (corresponding to variable names) and the return address (which can be obtained from the program counter)[.] ... When the function wants to return, it ... restores all the registers. It then makes the return jump. Clearly, all of this work can be done using a stack, and that is exactly what happens in virtually every programming language that implements recursion.
Simula was based on Algol 60 with one very important addition — the class concept. ... The basic idea was that the data (or data structure) and the operations performed on it belong together[.]
Originally, a large number of experimental languages were designed, many of which combined object-oriented and functional programming.
While it is true that OOD [(object oriented design)] as such is not supported by the majority of popular languages, a large subset of OOD can be used.
The syntax (or grammar) of a programming language describes the correct form in which programs may be written[.]
The main components of an imperative language are declarations, expressions, and statements.
The key to unlocking the potential of any computer system is application software.
[A] third-party software firm, often called a value-added software vendor, may develop or modify a software program to meet the needs of a particular industry or company.
Heading: Proprietary Software; Subheading: Advantages; Quote: You can get exactly what you need in terms of features, reports, and so on.
Heading: Proprietary Software; Subheading: Advantages; Quote: Being involved in the development offers a further level of control over the results.
Heading: Proprietary Software; Subheading: Advantages; Quote: There is more flexibility in making modifications that may be required to counteract a new initiative by one of your competitors or to meet new supplier and/or customer requirements.