5451 search results - page 100 / 1091 » Typed Operational Semantics |
108
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
123
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
154
Voted
IDEAS
2003
IEEE
15 years 8 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
143
Voted
TELETRAFFIC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
129
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...