11022 search results - page 168 / 2205 » Programming Systems for Autonomy |
156
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
149
click to vote
SIGPLAN
2008
15 years 5 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
192
click to vote
AMAI
1999
Springer
15 years 4 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
136
click to vote
AOSD
2008
ACM
15 years 7 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
132
click to vote
HYBRID
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...