899 search results - page 92 / 180 » A CTL-Based Logic for Program Abstractions |
116
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
106
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
101
Voted
PTS
2008
15 years 2 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
113
click to vote
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
SCCC
1998
IEEE
15 years 4 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...