2830 search results - page 44 / 566 » No Science without Semantics |
110
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
105
Voted
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
115
Voted
GI
2008
Springer
15 years 1 months ago
2008
Springer
: A key application area of semantic technologies is the fast-developing field of bioinformatics. Sealife is a project within this field with the aim of creating semanticsbased w...
98
Voted
TCS
2010
14 years 7 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community: