User loginNavigation |
A question for the theory guysWhat is the relation between programming languages, model theory, and proof theory? I heard proof theory is more concerned with "syntax" whereas model theory is more concerned with "semantics". Would it be true to say that operational semantics corresponds to proof theory and denotational semantics to model theory? If yes, how exactly do they relate to each other? By the way, a small related question: What exactly is a "theory" when someone says, he developed (say) a "Theory of Objects" like Abadi/Cardelli? By Klaus Ostermann at 2005-02-03 15:32 | LtU Forum | previous forum topic | next forum topic | other blogs | 7121 reads
|
Browse archives
Active forum topics
|
Recent comments
15 weeks 5 days ago
20 weeks 15 hours ago
21 weeks 4 days ago
21 weeks 4 days ago
24 weeks 2 days ago
29 weeks 1 hour ago
29 weeks 3 hours ago
29 weeks 3 days ago
29 weeks 3 days ago
32 weeks 1 day ago