Title: A paradigm for program semantics
First published: 2001
Subjects: Logic, Symbolic and mathematical, Programming languages (Electronic computers), Semantics, Semantics (Philosophy), Symbolic and mathematical Logic, Epistemology, theory of knowledge, Semantics (meaning), System Theory, Logic, Symbolic and mathematic, Science, Language Arts / Linguistics / Literacy, Science/Mathematics, Logic, Philosophy / Logic, Programming languages (Electro, Logic, symbolic and mathematical, Semantics (philosophy), Programming languages (electronic computers)
LC classification: BC135 .B747 2001, BC135 .B747 2001