3319 search results - page 151 / 664 » Subshifts, Languages and Logic |
100
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
AAAI
1998
15 years 2 months ago
1998
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
107
click to vote
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
DALT
2006
Springer
15 years 4 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
124
click to vote
NGITS
1999
Springer
15 years 5 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...