# An information theoretic approach to the expressiveness of programming languages

@inproceedings{Davidson2016AnIT, title={An information theoretic approach to the expressiveness of programming languages}, author={Joseph Davidson}, year={2016} }

The conciseness conjecture is a longstanding notion in computer science that
programming languages with more built-in operators, that is more expressive languages with larger semantics, produce smaller programs on average. Chaitin defines the related concept of an elegant program such that there is no smaller program in some language which, when run, produces the same output.
This thesis investigates the conciseness conjecture in an empirical manner. Influenced by the concept of elegant…

## One Citation

### Are there Domain Specific Languages?

- Computer ScienceRWDSL@CGO
- 2016

Turing complete languages can express unbounded computations over unbounded structures, either directly or by a suitable encoding. In contrast, Domain Specific Languages (DSLs) are intended to…

## References

SHOWING 1-10 OF 94 REFERENCES

### Brute Force is not Ignorance

- Computer Science
- 2013

This paper re-introduce the Random Access Stored Program machine (RASP) and build an analogue of the BBG for these machines, and explores the space of BBG RASP machines using both brute force and genetic search methods.

### On the Expressive Power of Programming Languages

- Computer ScienceESOP
- 1990

A formal notion of expressiveness is developed and its properties are investigated to demonstrate the theory's closeness to published intuitions on expressiveness, and the expressive power of several extensions of functional languages is analyzed.

### Assigning Meanings to Programs

- Computer Science
- 1993

This paper attempts to provide an adequate basis for formal definitions of the meanings of programs in appropriately defined programming languages, in such a way that a rigorous standard is…

### Time-bounded random access machines

- Computer ScienceSTOC
- 1972

This paper introduces a formal model for random access computers and argues that the model is a good one to use in the theory of computational complexity and shows the existence of a time complexity hierarchy which is finer than any standard abstract computer model.

### Very Simple Chaitin Machines for Concrete AIT

- Computer ScienceFundam. Informaticae
- 2005

This work presents several new tiny Chaitin machines (those with a prefix-free domain) suitable for the study of concrete algorithmic information theory, one of which is a binary encoding of lambda calculus based on a curried lambda operator.

### Introduction to the Theory of Computation

- Computer ScienceSIGA
- 1996

Throughout the book, Sipser builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own.

### Computational complexity of random access stored program machines

- Computer ScienceMathematical systems theory
- 2005

It is shown that there exist arbitrarily complex functions with optimal RASP programs whose running time cannot be improved by any multiplicative constant and these optimal programs cannot be fixed procedures, and the difference in computation speed between fixed procedures and self-modifying programs.