4386 search results - page 105 / 878 » A Tamper-Resistant Programming Language System |
105
click to vote
ICFP
2000
ACM
15 years 5 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
112
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
132
click to vote
IEEEHPCS
2010
14 years 11 months ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
113
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...