6201 search results - page 100 / 1241 » Implementation of Axiomatic Language |
135
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
112
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
USENIX
2001
15 years 5 months ago
2001
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
117
click to vote
COMPSEC
2010
15 years 24 days ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
123
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...