6201 search results - page 373 / 1241 » Implementation of Axiomatic Language |
163
click to vote
FPCA
1987
15 years 10 months ago
1987
: Categorical Multi-Combinators form a rewriting system developed with the aim of providing efficient implementations of lazy functional languages. The core of the system of Catego...
158
click to vote
AAAI
2008
15 years 9 months ago
2008
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
207
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
168
click to vote
FORTE
2003
15 years 8 months ago
2003
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...
178
click to vote
SWAP
2007
15 years 8 months ago
2007
The JUMP project aims at bringing together the knowledge stored in different information systems in order to satisfy information and training needs in knowledge-intensive organisa...