166 search results - page 30 / 34 » A Parameterised Module System for Constructing Typed Logic P... |
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
ML
2007
ACM
13 years 6 months ago
2007
ACM
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
ANLP
1992
13 years 8 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...