User loginNavigation |
Dynamic SemanticsIn a search of Ltu there are many occurrences of the expression "dynamic semantics" usually in discussions of static and dynamic typing. It is easy enough to imagine what this might mean but I wonder if there is an accepted formal definition in computer science similar to the definitions of axiomatic, denotation, and operational semantics. I found one suggestive paper "Representing Action and Change in Logic Programs" but this doesn't directly answer the question. Does anyone know of anything? Thanks. By Hank Thediek at 2006-08-29 22:01 | LtU Forum | previous forum topic | next forum topic | other blogs | 12425 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 9 hours ago
17 weeks 13 hours ago
17 weeks 13 hours ago
39 weeks 1 day ago
43 weeks 3 days ago
45 weeks 21 hours ago
45 weeks 21 hours ago
47 weeks 5 days ago
1 year 2 days ago
1 year 2 days ago