4386 search results - page 259 / 878 » A Tamper-Resistant Programming Language System |
156
click to vote
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
124
click to vote
TPHOL
1994
IEEE
15 years 7 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
126
click to vote
APPINF
2003
15 years 4 months ago
2003
Whenever large homogeneous data structures need to be processed in a non-trivial way, e.g. in computational sciences, image processing, or system simulation, high-level array prog...
142
click to vote
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
120
click to vote
OTM
2007
Springer
15 years 9 months ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...