MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Charles Wallace" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Semantics of the Java Programming Language  
  • by Charles Wallace — 1997
  • …A mathematical model of the Java programming language is constructed. We provide both compiletime and runtime semantics of the language, through a series of refinements that gradually add levels of detail to the model. 1 Introduction We provide operational semantics for the Java programming languag…
  • Cited by 1 (0 self) – Add To MetaCart
  • The Semantics of the C++ Programming Language  
  • by Charles Wallace — 1993 — Specification and Validation Methods
  • …data types" such as stacks and queues can be represented as container classes. For example, the notion of a list defines the way in which list items, or nodes, are linked to one another and methods of manipulating the items but leaves undefined the type of information stored in a node. A family of l…
  • Cited by 43 (2 self) – Add To MetaCart
  • UPC Collective Conformance Suite  
  • by Lisa Begum, Charles Wallace, Lisa Begum, Charles Wallace — 2006
  • …The UPC collective conformance suite is a collection of tests that help determine how closely a given implementation of the UPC collective operations conform to the specifications. The test suite is based on Version 1.1 of the UPC specification [1] and Version 1.0 of the UPC collectives specificatio…
  • Add To MetaCart
  • Toward a Programmer-Friendly Formal Specification of the UPC Memory Model  
  • by William Kuchera, William Kuchera, Charles Wallace, Charles Wallace — 2003
  • …State Machines (ASMs) [1]. This alternative specification, which appears in 2, avoids the problems we find with the original specification; furthermore, we feel that it is simpler and more intuitive for the average programmer struggling with the intricacies of UPC.…
  • Cited by 3 (2 self) – Add To MetaCart
  • The UPC Memory Model: Problems and Prospects  
  • by William Kuchera, Charles Wallace — 2004
  • …The memory consistency model underlying the Unified Parallel C (UPC) language remains a promising but underused feature. We report on our e#orts to understand the UPC memory model and assess its potential benefits. We describe problems we have uncovered in the current language specification. These r…
  • Cited by 5 (0 self) – Add To MetaCart
  • Instruction in Problem Structuring and Analysis Through Problem Frames  
  • by Charles Wallace, Xinli Wang, Virginia Bluth
  • …We have used the Problem Frames approach to teach software requirements analysis in an undergraduate software engineering setting for several years. Its lightweight formalism is rigorous without being intimidating, and its clarity and precision foster critical inquiry and careful reasoning among stu…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB