1830 search results - page 190 / 366 » Functional Programs as Linked Data |
124
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
100
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
133
Voted
SEMCO
2007
IEEE
15 years 9 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
119
Voted
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
An X-to-O mapping takes an XML schema as input and returns an object model as output; this object model is meant for programmatic, schema-aware access to XML data. The provision o...
118
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...