3983 search results - page 243 / 797 » Conceptual logic programs |
168
click to vote
ECAL
2007
Springer
16 years 10 days ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
180
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
143
click to vote
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
228
click to vote
BANFF
1995
15 years 9 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
189
click to vote
NGC
2007
Springer
15 years 5 months ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...