2236 search results - page 2 / 448 » Language Independence and Language Tolerance in Logic Progra... |
IJAR
2008
13 years 6 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
ESOP
2010
Springer
14 years 3 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
ENTCS
2002
13 years 6 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
SIGADA
1999
Springer
13 years 10 months ago
1999
Springer
ESOP
2007
Springer
14 years 13 days ago
2007
Springer
