MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Expressive Power of Specification Languages." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 27 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Rule-Based Languages  
  • by Victor Vianu — 1997 — ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • …-founded semantics. The relative expressive power and complexity of the various languages are provided…
  • Cited by 3 (0 self) – Add To MetaCart
  • PVS: A Prototype Verification System  
  • by Reprint From, S. Owre, J. M. Rushby, N. Shankar
  • … individual proofs. We plan to enhance the expressive power of the specification language by introducing…
  • Add To MetaCart
  • A Workflow Vista of the Software Process  
  • by Daniel K. C. Chan, Karl R.P.H. Leung — 1997 — In Proceedings of the International Workshop on Database and Expert Systems Applications
  • … language. We intend to model different methodologies as a test of expressive power of the specification…
  • Cited by 7 (5 self) – Add To MetaCart
  • The Anchored Version of the Temporal Framework  
  • by Zohar Manna, Amir Pnueli — 1989 — Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354
  • … The Expressive Power of the Specification Language Even if we settle on the linear type of semantics…
  • Cited by 50 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB