Category:Total
A total programming language is one in which all programs are guaranteed to terminate. As such, such languages are not Turing complete. It is also impossible to implement a self-interpreter in a total programming language Some total esolangs, like Nope. and Permission denied have self interpreters, and they have infinite number of them , because combined with quines that would allow you to create a non-terminating program in the form on an infinite loop. Nevertheless, total languages can still be quite powerful, with some actual languages being total. Programs that need to continue running can use techniques from total languages to prevent from hanging.
One way to convert a Turing complete programming language into a total programming language is to require programs to have a proof that they always halt. Such proof may be attached to their source code.
Pages in category "Total"
The following 200 pages are in this category, out of 326 total.
(previous page) (next page)+
4
6
;
?
@
A
- A programming language is a system of notation for writing computer programs.
- A Simple Language With A Console
- A Simple Language With A Console Except There Is No Console
- ABCD
- ABCDXYZ
- ABPLWNL
- ABPLWNL but with stack
- ACCUMULATOR
- ADxc
- Afz
- AHQ9+-
- Alfie
- Alivefish
- Alphamation
- Alphaprint
- Alphaton
- AMONGUSISABIGSUSSYBAKAHAHAHAHAHATHISLANGUAGEISREALLYCOOLPLEASEUSEITMYLIFEDEPENDSONITORELSEPLSPLSPLSPLSPLSPLSPLSkahyghdfhm
- An unusable esolang made with an one-line interpreter and a long name
- Analscript
- Anti-Plushie language
- AntiLang
- Anyways
- APLWSI
- Apple Pie
- Apple3.14
- Arch is the best!
- Arithmetic
- Arsel
- Asig
- AuFI
B
- B-H
- BackFlip
- Backshar
- Backshar+
- Bad command or file name
- Bash: foo: No such file or directory
- Bawkbawk
- BERT
- BF Lite
- Bin-8
- Bitshit
- BitSwitch
- Blah
- Blue Hens
- Boobeans
- Brainfuck/w/index.php?title=Talk:Brainfuck/index.php
- Brainfuck: Free Version
- Brainfuck⁰
- Brainf̶u̶c̶k̶
- Brainless
- Brainsplosion
- Broken Calculator
- BSoD
- BullScript
- Burgercamp
- BuxRo
- BWTFN
- B̶r̶a̶i̶n̶fuck
- B̶r̶a̶i̶n̶f̶u̶c̶k̶
C
D
F
- F!
- F!--
- FHC
- Firstreplace
- Fishheads
- Fishstacks
- Fizzbuzz
- Floor
- Foo : The term 'foo' is not recognized as the name of a cmdlet, function, script file, or operable program. Check the spelling of the name, or if a path was included, verify that the path is correct and try again.
- ForWhile
- Frog
- Fuck you!
- Fucker
- Func
- Func++
- FXYT
H
I
- I am sure this is the shortest code for 99 bottles of beer
- Ideadfish
- If the question specifies that the number of the words should be less than 3, and the number of words in your answer is larger than 3, your answer is automatically wrong.
- If(j)invert()if(l)change()if(q)input()if(t)output(x);
- IGNORED
- Inc
- IncLoop
- Increment
- Inputfish
- Interstack
- Inverted Logic
- Ios sync with stdio(false);