2236 search results - page 9 / 448 » Language Independence and Language Tolerance in Logic Progra... |
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
ICLP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
98
Voted
ECOOP
1993
Springer
15 years 3 months ago
1993
Springer
Object-oriented programming promises to increase programmer productivity through better reuse of existing code. However, reuse is not yet pervasive in today’s object-oriented pro...
92
Voted
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...