3319 search results - page 132 / 664 » Subshifts, Languages and Logic |
102
Voted
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
119
click to vote
CICLING
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...
103
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
117
click to vote
ICCS
1998
Springer
15 years 5 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
87
Voted
LACL
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...