The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms.
Eugeniusz EberbachPublished in: SEKE (1993)
Keyphrases
- computationally efficient
- efficient implementation
- data mining
- formal language
- specification language
- language learning
- orders of magnitude
- learning algorithm
- computational cost
- significant improvement
- case study
- worst case
- programming language
- logic programs
- design process
- benchmark datasets
- user interface
- data structure
- objective function
- operational semantics
- cost effectiveness
- provably correct
- database query languages