7124 search results - page 427 / 1425 » Programming Languages and Operating Systems |
225
click to vote
ASE
2005
15 years 6 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
229
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
185
click to vote
PPDP
2004
Springer
16 years 7 days ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
186
click to vote
TAGT
1994
Springer
15 years 11 months ago
1994
Springer
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
212
click to vote
DSD
2010
IEEE
15 years 7 months ago
2010
IEEE
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...