6201 search results - page 297 / 1241 » Implementation of Axiomatic Language |
193
click to vote
ENTCS
2000
15 years 6 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
287
click to vote
ICCS
2010
Springer
15 years 5 months ago
2010
Springer
Though similarities between the Semantic Web language RDF(S) and languages of the Conceptual Graphs family have often been pointed out, the differences between these formalisms hav...
174
click to vote
JAR
2010
15 years 5 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
197
click to vote
JSC
2010
15 years 5 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
170
click to vote
COMSIS
2010
15 years 4 months ago
2010
Abstract--The paper presents innovative parser construction method and parser generator prototype which generates a computer language parser from a set of annotated classes in cont...