6201 search results - page 850 / 1241 » Implementation of Axiomatic Language |
214
click to vote
ICLP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
223
click to vote
ICWE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper we show an approach that allows web interfaces to dynamically distribute among several interconnected heterogeneous devices in an environment to support the...
175
click to vote
ISAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
168
click to vote
ISPA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
165
click to vote
ISSAC
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...