3809 search results - page 43 / 762 » Associative language descriptions |
128
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
146
click to vote
ENTCS
2008
15 years 4 months ago
2008
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
140
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...