1194 search results - page 106 / 239 » A Language for Implementing Arbitrary Logics |
102
click to vote
JFP
2007
14 years 9 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
108
click to vote
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
QSIC
2003
IEEE
15 years 3 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...