114 search results - page 21 / 23 » Specialized Aspect Languages Preserving Classes of Propertie... |
AAAI
1998
15 years 1 months ago
1998
Two of the most important threads of work in knowledge representation today are frame-based representation systems (FRS's) and Bayesian networks (BNs). FRS's provide an ...
GPCE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
104
click to vote
TLCA
1993
Springer
15 years 3 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
71
Voted
ICALP
1989
Springer
15 years 3 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
114
click to vote
JFP
2007
14 years 11 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...