A generalized technique for symbol manipulation and numerical calculation
Communications of the ACM
Origins of the APT language for automatically programmed tools
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Origins of the APT language for automatically programmed tools
History of programming languages I
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
Hi-index | 0.00 |
I have now written, have available from SofTech, and have submitted for publication elsewhere, the first two of a series of deep philosophical papers [1, 2] about Plex [3]. Among other things, I believe these papers begin to provide a proper foundation for our endeavors in computer science and software engineering. The trend of these developments is indicated in the following, which I call The Proem of Plex1 and Plex2 [“Proem: 1.) A preliminary discourse to a longer piece of writing. 2.) An introductory comment before a speech. 3.) Something that opens or begins.”—Webster's].