2236 search results - page 13 / 448 » Language Independence and Language Tolerance in Logic Progra... |
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
102
click to vote
TOOLS
2009
IEEE
15 years 6 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
73
Voted
FECS
2007
15 years 1 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
122
Voted
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...