1864 search results - page 123 / 373 » Formal topology and domains |
208
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
159
click to vote
COMPASS
1994
15 years 10 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
141
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
188
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
185
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...