2625 search results - page 179 / 525 » The development of the Emerald programming language |
138
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
125
click to vote
FAC
2006
15 years 4 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
157
click to vote
LPNMR
1999
Springer
15 years 8 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
118
click to vote
REX
1989
15 years 8 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
172
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...