1988 search results - page 178 / 398 » Engineering formal metatheory |
133
click to vote
CICLING
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Polarities are used to sanction grammar fragment combination in high level tree-based formalisms such as eXtenssible MetaGrammar (XMG) and polarized unification grammars...
172
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
175
click to vote
EUROMICRO
2006
IEEE
16 years 19 days ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
195
click to vote
SEW
2006
IEEE
16 years 17 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
180
click to vote
TLDI
2005
ACM
16 years 3 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...