1445 search results - page 26 / 289 » Uniformly Hard Languages |
FLAIRS
2001
13 years 9 months ago
2001
Weintroducea formalcontext mechanism,embeddedinto a descriptionlogicsframework,whichis ableto uniformly represent and managedifferent formsof ambiguitiesas theyoccurin the courseo...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
ICLP
2003
Springer
14 years 27 days ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
MDAFA
2004
Springer
14 years 1 months ago
2004
Springer
In the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture wi...