The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gary T. Leavens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gary T. Leavens
    Inheritance of Interface Specifications (Extended Abstract). [Citation Graph (1, 0)][DBLP]
    Workshop on Interface Definition Languages, 1994, pp:129-138 [Conf]
  2. Craig Chambers, Gary T. Leavens
    Typechecking and Modules for Multi-Methods. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1994, pp:1-15 [Conf]
  3. Craig Chambers, Gary T. Leavens
    Typechecking and Modules for Multimethods. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:6, pp:805-843 [Journal]
  4. Yoonsik Cheon, Gary T. Leavens
    A contextual interpretation of undefinedness for runtime assertion checking. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2005, pp:149-158 [Conf]
  5. Yoonsik Cheon, Gary T. Leavens
    A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:231-255 [Conf]
  6. Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
    Extending JML for Modular Specification and Verification of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:551-576 [Conf]
  7. Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2000, pp:41-54 [Conf]
  8. Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:203-210 [Conf]
  9. Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2003, pp:62-71 [Conf]
  10. Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:97-115 [Conf]
  11. Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2001, pp:30-40 [Conf]
  12. Gary T. Leavens, Albert L. Baker
    Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1087-1106 [Conf]
  13. Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
    How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:262-284 [Conf]
  14. Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
    Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:342-363 [Conf]
  15. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
    Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  16. Gary T. Leavens
    JML's Rich, Inherited Specifications for Behavioral Subtypes. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:2-34 [Conf]
  17. Krishna Kishore Dhara, Gary T. Leavens
    Forcing Behavioral Subtyping through Specification Inheritance. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:258-267 [Conf]
  18. Gary T. Leavens, Peter Müller
    Information Hiding and Visibility in Interface Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:385-395 [Conf]
  19. Gary T. Leavens, Yoonsik Cheon
    Preliminary Design of Larch/C++. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:159-184 [Conf]
  20. Gary T. Leavens, Don Pigozzi
    Typed Homomorphic Relations Extended with Sybtypes. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:144-167 [Conf]
  21. Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
    Formal Techniques for OO Software Development (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1991, pp:166-170 [Conf]
  22. Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein
    MultiJava: modular open classes and symmetric multiple dispatch for Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:130-145 [Conf]
  23. Gary T. Leavens, Todd D. Millstein
    Multiple Dispatch as Dispatch on Tuples. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:374-387 [Conf]
  24. Gary T. Leavens, William E. Weihl
    Reasoning about Object-Oriented Programs that Use Subtypes. [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:212-223 [Conf]
  25. Clyde Ruby, Gary T. Leavens
    Safely creating correct subclasses without seeing superclass code. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:208-228 [Conf]
  26. Gary T. Leavens
    Invited Talk: JML framed! [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:1- [Conf]
  27. Gary T. Leavens, Tim Wahls, Albert L. Baker
    Formal Semantics for SA Style Data Flow Diagram Specification Languages. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:526-532 [Conf]
  28. Tim Wahls, Gary T. Leavens
    Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:567-575 [Conf]
  29. Gary T. Leavens, Jeannette M. Wing
    Protective Interface Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:520-534 [Conf]
  30. Gary T. Leavens, Don Pigozzi
    A Complete Algebraic Characterization of Behavioral Subtyping. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:36, n:8, pp:617-663 [Journal]
  31. Gary T. Leavens, William E. Weihl
    Specification and Verification of Object-Oriented Programs Using Supertype Abstraction [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:8, pp:705-778 [Journal]
  32. Tim Wahls, Gary T. Leavens, Albert L. Baker
    Executing Formal Specifications with Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:4, pp:315-343 [Journal]
  33. Steven L. Jenkins, Gary T. Leavens
    Polymorphic Type-Checking in Scheme. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:4, pp:215-223 [Journal]
  34. Susan Eisenbach, Gary T. Leavens
    Special issue: formal techniques for Java programs. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2001, v:13, n:13, pp:1121-1123 [Journal]
  35. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
    Modular specification of frame properties in JML. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:117-154 [Journal]
  36. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
    An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  37. Krishna Kishore Dhara, Gary T. Leavens
    Weak behavioral subtyping for types with mutable objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  38. Gary T. Leavens, Don Pigozzi
    Class-Based and Algebraic Models of Objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  39. Gary T. Leavens, Jeannette M. Wing
    Protective Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:1, pp:59-75 [Journal]
  40. Yoonsik Cheon, Gary T. Leavens
    A Quick Overview of Larch/C++. [Citation Graph (0, 0)][DBLP]
    JOOP, 1994, v:7, n:6, pp:39-49 [Journal]
  41. Gary T. Leavens
    Not a Number of Floating Point Problems. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:2, pp:75-83 [Journal]
  42. Gary T. Leavens
    Introduction to the literature on object-oriented design, programming, and languages. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1991, v:2, n:4, pp:40-53 [Journal]
  43. Curtis Clifton, Gary T. Leavens
    MiniMAO: An imperative core language for studying aspect-oriented reasoning. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:3, pp:321-374 [Journal]
  44. Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
    How the design of JML accommodates both runtime assertion checking and formal verification. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:185-208 [Journal]
  45. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
    Modular invariants for layered object structures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:3, pp:253-286 [Journal]
  46. Giuseppe Castagna, Gary T. Leavens
    Foundation of Object-Oriented Languages, 2nd Workshop Report. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1995, v:30, n:2, pp:5-11 [Journal]
  47. Gary T. Leavens
    Modular Specification and Verification of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1991, v:8, n:4, pp:72-80 [Journal]
  48. Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards
    Model variables: cleanly supporting abstraction in design by contract. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2005, v:35, n:6, pp:583-599 [Journal]
  49. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
    An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:3, pp:212-232 [Journal]
  50. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
    On Binary Methods. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:221-242 [Journal]
  51. Gary T. Leavens, Don Pigozzi
    The Behavior-Realization Adjunction and Generalized Homomorphic Relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:183-216 [Journal]
  52. Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers
    MultiJava: Design rationale, compiler implementation, and applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:3, pp:517-575 [Journal]
  53. Yoonsik Cheon, Gary T. Leavens
    The Larch/Smalltalk Interface Specification Language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:3, pp:221-253 [Journal]
  54. Gary T. Leavens, Joseph R. Kiniry, Erik Poll
    A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:37- [Conf]
  55. Curtis Clifton, Gary T. Leavens, James Noble
    MAO: Ownership and Effects for More Effective Reasoning About Aspects. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:451-475 [Conf]
  56. Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2006, pp:53-58 [Conf]
  57. Steve M. Shaner, Gary T. Leavens, David A. Naumann
    Modular verification of higher-order methods with mandatory calls specified by model programs. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:351-368 [Conf]
  58. Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
    Specification and verification of component-based systems 2007. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:609-610 [Conf]
  59. Gary T. Leavens, K. Rustan M. Leino, Peter Müller
    Specification and verification challenges for sequential object-oriented programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:159-189 [Journal]

  60. Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. [Citation Graph (, )][DBLP]


  61. Ptolemy: A Language with Quantified, Typed Events. [Citation Graph (, )][DBLP]


  62. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  63. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  64. Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. [Citation Graph (, )][DBLP]


  65. Tutorial on JML, the java modeling language. [Citation Graph (, )][DBLP]


  66. Integrating Random Testing with Constraints for Improved Efficiency and Diversity. [Citation Graph (, )][DBLP]


  67. Specification and verification of component-based systems 2007. [Citation Graph (, )][DBLP]


  68. Challenge benchmarks for verification of real-time programs. [Citation Graph (, )][DBLP]


  69. The design of SafeJML, a specification language for SCJ with support for WCET specification. [Citation Graph (, )][DBLP]


  70. Lessons from the JML Project. [Citation Graph (, )][DBLP]


  71. The verified software initiative: A manifesto. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002