Specification

Wittgenstein on Rules and Private Language.

Christopher Peacocke, Saul A. Kripke · The Philosophical Review · 1984 · 1.4K citations

Language Studies, Linguistics, Philosophy Of Language +2

Wittgenstein on Rules and Private Language.

Brian Loar, Saul A. Kripke · Noûs · 1985 · 1.3K citations

Language Studies, Linguistics, Philosophy Of Language +2

Systematic software development using VDM

Sunil Vadera · Data Processing · 1986 · 1.1K citations

Computing, Systems Engineering, Requirements Engineering +11

What is this thing called science?

Choice Reviews Online · 1999 · 1.1K citations

Education, Science Education, Nature Of Science +9

Social processes and proofs of theorems and programs

Richard A. De Millo, Richard J. Lipton, Alan J. Perlis · Communications of the ACM · 1979 · 535 citations · Full text

Computing, Computer Science, Computational Linguistics +4