2613 search results - page 165 / 523 » Proposal for Tools Supporting Component Based Programming |
126
click to vote
CTCS
1989
Springer
15 years 10 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
172
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
175
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
259
click to vote
MICRO
2008
IEEE
16 years 14 days ago
2008
IEEE
Rootkits have become a growing concern in cyber-security. Typically, they exploit kernel vulnerabilities to gain root privileges of a system and conceal malware’s activities fro...
147
click to vote
EISWT
2007
15 years 7 months ago
2007
In the recent years, due to the emergence of new models of production based on collaboration, collaborative writing tools started to be increasingly used by various communities. D...