10575 search results - page 1813 / 2115 » T2Script Programming Language |
120
click to vote
IFL
2001
Springer
15 years 9 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
187
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
111
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...
127
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
115
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
A SEF (software exchange format), such as GXL [6], TA [4] or RSF [7], is used to exchange data between tools that analyze software. Researchers at Bell Canada have specified the D...