MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Christopher League" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • SOMETHING FOR EVERYONE: AI LAB ASSIGNMENTS THAT SPAN LEARNING STYLES AND APTITUDES  
  • by Christopher League
  • …One of the great challenges of teaching is managing a wide range of educational backgrounds, learning styles, aptitudes, and time/energy constraints in the same classroom. Aiming down the middle is a poor strategy; it is unacceptable to write off the lower half of a class, and we risk extinguishing …
  • Add To MetaCart
  • Representing Java Classes in a Typed Intermediate Language  
  • by Christopher League, Zhong Shao, Valery Trifonov — 1999
  • …We propose a conservative extension of the polymorphic lambda calculus (F ! ) as an intermediate language for compiling languages with name-based class and interface hierarchies. Our extension enriches standard F ! with recursive types, existential types, and row polymorphism, but only ordered r…
  • Cited by 30 (8 self) – Add To MetaCart
  • Functional Java Bytecode  
  • by Christopher League, Valery Trifonov, Zhong Shao — 2001 — In Proc. 5th World Conf. on Systemics, Cybernetics, and Informatics
  • …We describe the design and implementation of lambdaJVM, a functional representation of Java bytecode that makes data flow explicit, verification simple, and that is well-suited for translation into lower-level representations such as those used in optimizing compilers. It is a good alternative to st…
  • Cited by 17 (4 self) – Add To MetaCart
  • Type-Preserving Compilation of Featherweight Java  
  • by Christopher League, Valery Trifonov, Zhong Shao — 2001
  • …We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavior as a standard implementation using vtables and selfapplication for method invocation. Classes inherit super-class metho…
  • Cited by 31 (8 self) – Add To MetaCart
  • Precision in Practice: A Type-Preserving Java Compiler  
  • by Christopher League, Zhong Shao, Valery Trifonov — 2003
  • …Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, supporting a wide range of source language features is awkward. Further compilation and optimization, necessary for efficiency,…
  • Cited by 22 (4 self) – Add To MetaCart
  • Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach  
  • by Tevfik Bultan, Richard Gerber, Christopher League — 1998 — In Proceedings of the 1998 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'98
  • …Symbolic model checking has proved highly successful for large finite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants. The inherent limitation of this approach is that it cannot be applied to systems with an infinite number of states --…
  • Cited by 23 (4 self) – Add To MetaCart
  • Composite Model Checking: Verification with Type-Specific Symbolic Representations  
  • by Tevfik Bultan, Richard Gerber, Christopher League — 2000 — ACM Transactions on Software Engineering and Methodology
  • …In recent years, there has been a surge of progress in automated verification methods based on state exploration. In areas like hardware design, these technologies are rapidly augmenting key phases of testing and validation. To date, one of the most successful of these methods has been symbolic mode…
  • Cited by 19 (5 self) – Add To MetaCart
  • Implementing Typed Intermediate Languages  
  • by Zhong Shao, Christopher League, Stefan Monnier — 1998
  • …Recent advances in compiler technology have demonstrated the benefits of using strongly typed intermediate languages to compile richly typed source languages (e.g., ML). A typepreserving compiler can use types to guide advanced optimizations and to help generate provably secure mobile code. Types, u…
  • Cited by 56 (15 self) – Add To MetaCart
  • Typed compilation against non-manifest base classes  
  • by Christopher League, Stefan Monnier, Université De Montréal — 2006 — Lecture Notes in Computer Science
  • …Abstract. Much recent work on proof-carrying code aims to build certifying compilers for single-inheritance object-oriented languages, such as Java or C#. Some advanced object-oriented languages support compiling a derived class without complete information about its base class. This strategy—though…
  • Cited by 5 (2 self) – Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB