3319 search results - page 111 / 664 » Subshifts, Languages and Logic |
106
Voted
ENTCS
2007
15 years 18 days ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
111
click to vote
SIGPLAN
2002
15 years 9 days ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
99
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
93
Voted
PLDI
1990
ACM
15 years 4 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
100
Voted
POLICY
2005
Springer
15 years 6 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...