S
Sten-Åke Tärnlund
Researcher at Stockholm University
Publications - 15
Citations - 333
Sten-Åke Tärnlund is an academic researcher from Stockholm University. The author has contributed to research in topics: First-order logic & Philosophy of logic. The author has an hindex of 7, co-authored 15 publications receiving 329 citations. Previous affiliations of Sten-Åke Tärnlund include Royal Institute of Technology & Uppsala University.
Papers
More filters
Proceedings Article
A First Order Theory of Data and Programs.
Keith L. Clark,Sten-Åke Tärnlund +1 more
Journal ArticleDOI
Horn clause computability
TL;DR: It is proved that a Turing computable functionf is computable in binary Horn clauses, which are a subset of first order logic and do not need more than one function symbol.
Journal ArticleDOI
Steadfast logic programs
TL;DR: The notion of steadfastness is presented that at once embodies modularity, reusability, and formal correctness and is parametrically correct.
Proceedings Article
A natural programming calculus
Ake Hansson,Sten-Åke Tärnlund +1 more
TL;DR: A programming calculus is laid down in which a methodology for reasoning about data and programs is developed and a program is deduced from the axioms and the definitions of the calculus.
Proceedings Article
The halting problem for deductive synthesis of logic programs
TL;DR: This work gives a characterisation of this problem and state a halting principle as a solution and reveals that Clark's idea of the completion of a program is central to deductive synthesis, since it is the basis of the halting principle and the notion of steadfast programs.