2625 search results - page 321 / 525 » The development of the Emerald programming language |
186
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
167
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
158
click to vote
ECOOPW
2000
Springer
15 years 10 months ago
2000
Springer
Previous workshops on reflection both in ECOOP and in OOPSLA have pointed out the growing interest and importance of Reflection and Metalevel Architectures in the fields of program...
160
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
168
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...