4617 search results - page 717 / 924 » Automation of Diagrammatic Reasoning |
203
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
208
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
182
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
174
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
180
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...