6201 search results - page 178 / 1241 » Implementation of Axiomatic Language |
184
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
160
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
134
click to vote
FMOODS
2007
15 years 8 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
216
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
185
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is concerned with a development of a videobased recognition system of continuous sign language. The system aimsfor an automatic signer dependent recognition of sign lan...