1835 search results - page 47 / 367 » Functional Programming of Behavior-Based Systems |
118
click to vote
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
106
click to vote
ICFP
2001
ACM
16 years 23 days ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
123
click to vote
LCPC
1999
Springer
15 years 5 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
114
click to vote
IWPC
2000
IEEE
15 years 5 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
90
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...