1312 search results - page 49 / 263 » Embedded contract languages |
COMPSEC
2007
14 years 12 months ago
2007
— Programmers often have access to confidential data that are not strictly needed for program development. Broad priveleges from accounts given to programmers allow them to view...
105
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
208
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
EDOC
2004
IEEE
15 years 3 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
134
click to vote
ENTCS
2006
14 years 12 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...