6201 search results - page 99 / 1241 » Implementation of Axiomatic Language |
124
click to vote
IJCAI
2003
15 years 5 months ago
2003
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
303
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
124
click to vote
CAEPIA
2005
Springer
15 years 9 months ago
2005
Springer
When building natural language generation applications it is desireable to have the possibility of assembling modules that use different techniques for each one of the specific g...
229
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
234
Voted
ITICSE
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...