6201 search results - page 329 / 1241 » Implementation of Axiomatic Language |
177
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
This paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved t...
195
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 6 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
161
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The need for clinical guidelines to be implemented at different sites, to adapt to rapidly changing environments, and to be carried out by distributed clinical teams, im...
166
click to vote
EEE
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes an extension of the ebXML registry for publishing and discovering mathematical service descriptions. The MathBroker registry is able to handle descriptions gi...
169
click to vote
CC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...