Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Program verification: the very idea
Communications of the ACM
Introduction to algorithms
Designing object-oriented software
Designing object-oriented software
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
The Interpretation of Object-Oriented Programming Languages
The Interpretation of Object-Oriented Programming Languages
Philosophy and Computer Science: Problems and Applications
Philosophy and Computer Science: Problems and Applications
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Introduction to Languages and the Theory of Computation
Introduction to Languages and the Theory of Computation
The Java Language Specification
The Java Language Specification
PASCAL user manual and report
The Foundations of Specification
Journal of Logic and Computation
Anatomical information science
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Expert Systems with Applications: An International Journal
Abstraction and Idealization in the Formal Verification of Software Systems
Minds and Machines
Hi-index | 0.00 |
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into a meaningful taxonomy? (2) To what ontology are computer programs committed? (3) What explains the proliferation of programming languages and how do they come about? Taking the complementary perspectives software engineering and mathematical logic, we take inventory of programs and related objects and conclude that the notions of abstraction and concretization take a central role in this investigation.