4386 search results - page 193 / 878 » A Tamper-Resistant Programming Language System |
124
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
123
Voted
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
123
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
133
click to vote
VL
1991
IEEE
15 years 5 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...