322 search results - page 58 / 65 » Expressive power and abstraction in Essence |
247
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
180
click to vote
CADE
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
161
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
199
click to vote
ANSOFT
2002
15 years 5 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...