User loginNavigation |
SemanticsDenotational Semantics: A Methodology for Language Development
Denotational Semantics: A Methodology for Language Development. David Schmidt, Kansas State University.
I don't recall seeing this book mentioned on LtU before. The entire book is online and seems quite detailed and understandable. Each chapter ends with exercises for the reader and suggested readings. Thanks, Henry! Description Logics in Literate HaskellExperiments from Graham Klyne:
See also rdfweb-dev post, "Haskell vs. Ada vs. C++ vs. Awk vs. ..., An Experiment in Software Prototyping Productivity" (PS format) By Danny Ayers at 2004-09-08 19:16 | Functional | Logic/Declarative | Semantics | XML | 10 comments | other blogs | 12311 reads
SAT 3 Proof with E Prover via OWLAn interesting little Semantic Web-related development reported by Jos De Roo (creator of the Java/C# Euler inference engine). He's got the E Prover (an equational theorem prover for clausal logic), to find a proof for the OWL (Web Ontology Language) test case "inconsistent502" (RDF, variations), which is a Description Logic encoding of one of the classic SAT 3 problems. By Danny Ayers at 2004-09-08 19:06 | Logic/Declarative | Semantics | Theory | XML | login or register to post comments | other blogs | 7217 reads
|
Browse archivesActive forum topics |
Recent comments
43 min 45 sec ago
53 min 7 sec ago
58 min 4 sec ago
8 hours 13 min ago
8 hours 28 min ago
13 hours 10 min ago
15 hours 45 min ago
21 hours 56 min ago
1 day 4 hours ago
1 day 6 hours ago