4370 search results - page 288 / 874 » Algebra of Logic Programming |
111
click to vote
DNA
2009
Springer
15 years 7 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
108
Voted
FMCO
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
147
Voted
TOSEM
2008
15 years 18 days ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
101
click to vote
ML
2006
ACM
15 years 19 days ago
2006
ACM
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...
113
Voted
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...