6201 search results - page 27 / 1241 » Implementation of Axiomatic Language |
PLDI
1998
ACM
14 years 22 days ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
EPIA
1989
Springer
14 years 16 days ago
1989
Springer
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...
IPPS
1997
IEEE
14 years 21 days ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...