Results 221 to 230 of about 29,700 (267)

Abacus as a Programming Language: Computer Science and History of Mathematics

2016
I show in this paper that programming paradigms, such as imperative or functional programming, can be put in correspondence with computing styles of calculating tools. The Chinese abacus actually follows a functional programming paradigm, while the ancient Chinese counting rods display an imperative programming style.
openaire   +2 more sources

Computer Science Logo Style: Symbolic Computing

, 1997
B. Harvey
semanticscholar   +1 more source

Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings

Foundations of Software Technology and Theoretical Computer Science, 1994
P. Thiagarajan
semanticscholar   +1 more source

Reversible Computation

Lecture Notes in Computer Science, 2016
Takeo Kanade, J. Kittler, J.C. Mitchell, M. Naor   +3 more
semanticscholar   +1 more source

Metasystem transition schemes in computer science and mathematics

, 1995
R. Glück, A. Klimov
semanticscholar   +1 more source

Programming languages in the computer science curriculum

Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, 1992
openaire   +2 more sources

Logic and Language Models for Computer Science

2017
Dana Richards, Henry Hamburger
openaire   +1 more source

Introduction to Coalgebra: Towards Mathematics of States and Observation

Cambridge Tracts in Theoretical Computer Science, 2016
B. Jacobs
semanticscholar   +1 more source

Formal Languages and Computation: Models and Their Applications

, 2014
A. Meduna
semanticscholar   +1 more source

It's Time for a New Old Language

ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, 2017
G. Steele
semanticscholar   +1 more source