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 419 total.
(previous page) (next page)"
$
+
0
4
;
?
@
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
- Array Changer
- Arsel
- Asig
- AuFI
B
- B (None1)
- B-H
- BackFlip
- Backshar
- Backshar+
- Bad command or file name
- Bad command or file name/No Quine
- Base64 Text
- Bash: foo: No such file or directory
- Bawkbawk
- Bbtos
- BERT
- BF Lite
- Bin-8
- Bitshit
- BitSwitch
- BittyLang
- Blah
- Blue Hens
- Boobeans
- Brainfuck/w/index.php?title=Talk:Brainfuck/index.php
- Brainfuck: Free Version
- Brainfuck⁰
- Brainf̶u̶c̶k̶
- Brainless
- Brainsplosion
- Brainthon
- Brainword
- Branjunk
- Broken Calculator
- BSoD
- BullScript
- Burgercamp
- Burgercamp+/burgercamp+-
- BuxRo
- BWTFN
- B̶r̶a̶i̶n̶fuck
- B̶r̶a̶i̶n̶f̶u̶c̶k̶
C
D
F
- F (None1)
- F!
- F!--
- Feedfish
- FHC
- Filename "xxx" doesn't seem to be a valid filename. Please check if the filename your trying to execute is written correctly
- Firstreplace
- Fishheads
- Fishstacks
- Fizzbuzz
- FizzLang
- 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
- Fuckshitfuck
- Func
- Func++
- FXYT