The Full Wiki

More info on Programming language

Programming language: Quiz


Question 1: In the 1930s and 1940s, the formalisms of Alonzo Church's lambda calculus and ________'s Turing machines provided mathematical abstractions for expressing algorithms; the lambda calculus remains influential in language design.
Bertrand RussellHilary PutnamAlan TuringAlfred North Whitehead

Question 2: The output of a ________ may be executed by hardware or a program called an interpreter.
Programming languageAssembly languageCompilerCompiler optimization

Question 3: The specification of a programming language is intended to provide a definition that the language users and the implementors can use to determine whether the behavior of a program is correct, given its ________.
Java (programming language)EmacsAssembly languageSource code

Question 4: These are often scripting or markup languages, such as ________ or SGML, and have only one data type—most commonly character strings which are used for both symbolic and numeric data.
Python (programming language)PerlREXXJava (programming language)

Question 5: Programs must balance speed, size, and simplicity on systems ranging from ________ to supercomputers.
MicrocontrollerEmbedded systemMicroprocessorCentral processing unit

Question 6: Other forms of static analyses like ________ may also be part of static semantics.
CompilerData-flow analysisControl flowCompiler optimization

Question 7: Other languages, such as ________, have a dominant implementation that is used as a reference.
PerlPHPLua (programming language)Python (programming language)

Question 8: Newer programming languages like Java and C# have ________, a form of data flow analysis, as part of their static semantics.
C++C (programming language)Definite assignment analysisCompiler optimization

Question 9: Statically typed languages can be either manifestly typed or ________.
Haskell (programming language)Type systemFunctional programmingType inference

Question 10: not adding a integer to a function name), or that subroutine calls have the appropriate number and type of arguments can be enforced by defining them as rules in a ________ called a type system.


Got something to say? Make a comment.
Your name
Your email address