|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 113 occurrences of 77 keywords
|
|
|
|
|
Results
Found 89 publication records. Showing 89 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens |
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara (eds.) |
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012 |
FOAL |
2012 |
DBLP BibTeX RDF |
|
| 1 | Frank Piessens, Bart Jacobs, Gary T. Leavens |
Special Section on Formal Techniques for Java-like Programs. |
Journal of Object Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney |
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Gary T. Leavens, Robert Dyer 0001, Mehdi Bagherzadeh |
Modularizing crosscutting concerns with Ptolemy. |
AOSD (Companion) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer 0001 |
Applying translucid contracts for modular reasoning about aspect and object oriented events. |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß |
The 1st Verified Software Competition: Experience Report. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer 0001, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter |
Modularizing crosscutting concerns with ptolemy. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Hussain, Gary T. Leavens |
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek |
Challenge benchmarks for verification of real-time programs. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
java, verification, real-time |
| 1 | Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani (eds.) |
Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings |
VSTTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney |
Translucid contracts for modular reasoning about aspect-oriented programs. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghaith Haddad, Faraz Hussain, Gary T. Leavens |
The design of SafeJML, a specification language for SCJ with support for WCET specification. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration |
| 1 | Gary T. Leavens |
The future of library specification. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek |
Challenge benchmarks for verification of real-time programs: (abstract only). |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar |
The verified software initiative: A manifesto. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shail Arora, Gary T. Leavens (eds.) |
Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA |
OOPSLA Companion |
2009 |
DBLP BibTeX RDF |
|
| 1 | Shail Arora, Gary T. Leavens (eds.) |
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA |
OOPSLA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens |
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand |
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens |
Use concurrent programming models to motivate teaching of programming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
concurrency, computational models, programming models, concepts, programming language curriculum, paradigms |
| 1 | Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio |
Integrating Random Testing with Constraints for Improved Efficiency and Diversity. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hridesh Rajan, Gary T. Leavens |
Ptolemy: A Language with Quantified, Typed Events. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, K. Rustan M. Leino, Peter Müller |
Specification and verification challenges for sequential object-oriented programs. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Object-oriented programming, Specification, Program verification, Contract, Challenge |
| 1 | John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens |
Tutorial on JML, the java modeling language. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking |
| 1 | Gary T. Leavens, Curtis Clifton |
Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. |
SPLAT |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming language design, ease of maintenance, ease of reasoning, goals, quantification, tradeoff, balance, scattering, concerns, compromise, tangling, obliviousness |
| 1 | Steve M. Shaner, Gary T. Leavens, David A. Naumann |
Modular verification of higher-order methods with mandatory calls specified by model programs. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
grey-box approach, higher order method, mandatory call, model program, verification, specification languages, hoare logic, refinement calculus |
| 1 | Gary T. Leavens, Joseph R. Kiniry, Erik Poll |
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Clifton, Gary T. Leavens, James Noble |
MAO: Ownership and Effects for More Effective Reasoning About Aspects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Peter Müller |
Information Hiding and Visibility in Interface Specifications. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou |
Specification and verification of component-based systems 2007. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
verification, object-oriented, specification, component-based systems |
| 1 | Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina |
Specification and verification of component-based systems 2007. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
verification, object-oriented, specification, component-based systems |
| 1 | Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens |
Modular invariants for layered object structures. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Clifton, Gary T. Leavens |
MiniMAO: An imperative core language for studying aspect-oriented reasoning. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens |
Not a Number of Floating Point Problems. |
Journal of Object Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers |
MultiJava: Design rationale, compiler implementation, and applications. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem |
| 1 | Gary T. Leavens, Albert L. Baker, Clyde Ruby |
Preliminary design of JML: a behavioral interface specification language for java. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens |
JML's Rich, Inherited Specifications for Behavioral Subtypes. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. 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. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
| 1 | 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. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards |
Model variables: cleanly supporting abstraction in design by contract. |
Softw., Pract. Exper. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Assertion checking, Java, Formal specification, Program verification, Design by Contract |
| 1 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Curtis Clifton |
Lessons from the JML Project. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoonsik Cheon, Gary T. Leavens |
A contextual interpretation of undefinedness for runtime assertion checking. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions |
| 1 | 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. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens |
Invited Talk: JML framed! |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens |
Modular specification of frame properties in JML. |
Concurrency and Computation: Practice and Experience |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll |
Formal Techniques for Java-like Programs. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoonsik Cheon, Gary T. Leavens |
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Susan Eisenbach, Gary T. Leavens |
Special issue: formal techniques for Java programs. |
Concurrency and Computation: Practice and Experience |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll |
Formal Techniques for Java Programs. |
ECOOP Workshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Wahls, Gary T. Leavens |
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
SPECS-C++, formal specification, denotational semantics, concurrent constraint programming |
| 1 | Tim Wahls, Gary T. Leavens, Albert L. Baker |
Executing Formal Specifications with Concurrent Constraint Programming. |
Autom. Softw. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Don Pigozzi |
A Complete Algebraic Characterization of Behavioral Subtyping. |
Acta Inf. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter |
Formal Techniques for Java Programs. |
ECOOP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein |
MultiJava: modular open classes and symmetric multiple dispatch for Java. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Clyde Ruby, Gary T. Leavens |
Safely creating correct subclasses without seeing superclass code. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
downcalls, method refinement, semantic fragile subclassing problem, specification inheritance, subclassing contract, Java, Java language, subclass, JML language |
| 1 | Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter |
Formal Techniques for Java Programs. |
ECOOP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Tim Wahls, Albert L. Baker |
Formal Semantics for SA Style Data Flow Diagram Specification Languages. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
semantics of formal specification languages, concurrency, refinement, structured analysis, data flow diagram |
| 1 | Gary T. Leavens, Albert L. Baker |
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Jeannette M. Wing |
Protective Interface Specifications. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Don Pigozzi |
Class-Based and Algebraic Models of Objects. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Todd D. Millstein |
Multiple Dispatch as Dispatch on Tuples. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
single dispatch, semantics, typing, language design, generic functions, tuple, multimethods, multiple dispatch, binary methods |
| 1 | Gary T. Leavens, Don Pigozzi |
The Behavior-Realization Adjunction and Generalized Homomorphic Relations. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Jeannette M. Wing |
Protective Interface Specifications. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven L. Jenkins, Gary T. Leavens |
Polymorphic Type-Checking in Scheme. |
Comput. Lang. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishna Kishore Dhara, Gary T. Leavens |
Forcing Behavioral Subtyping through Specification Inheritance. |
ICSE |
1996 |
DBLP BibTeX RDF |
code reverification, specification inheritance, formal specification, object-oriented programming, C++, message passing, inheritance, object-oriented software, behavioral subtyping |
| 1 | Giuseppe Castagna, Gary T. Leavens |
Foundation of Object-Oriented Languages, 2nd Workshop Report. |
SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, William E. Weihl |
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce |
On Binary Methods. |
TAPOS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Krishna Kishore Dhara, Gary T. Leavens |
Weak behavioral subtyping for types with mutable objects. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Gary T. Leavens |
Typechecking and Modules for Multimethods. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
static typechecking, inheritance, subtyping, encapsulation, multimethods |
| 1 | Yoonsik Cheon, Gary T. Leavens |
A Quick Overview of Larch/C++. |
JOOP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yoonsik Cheon, Gary T. Leavens |
The Larch/Smalltalk Interface Specification Language. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
Larch/Smalltalk, specification inheritance, verification, formal methods, Smalltalk, Smalltalk, subtype, interface specification, Larch |
| 1 | Craig Chambers, Gary T. Leavens |
Typechecking and Modules for Multi-Methods. |
OOPSLA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens |
Inheritance of Interface Specifications (Extended Abstract). |
Workshop on Interface Definition Languages |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Yoonsik Cheon |
Preliminary Design of Larch/C++. |
Larch |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gary T. Leavens |
Modular Specification and Verification of Object-Oriented Programs. |
IEEE Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens |
Introduction to the literature on object-oriented design, programming, and languages. |
OOPS Messenger |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Don Pigozzi |
Typed Homomorphic Relations Extended with Sybtypes. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes |
Formal Techniques for OO Software Development (Panel). |
OOPSLA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, William E. Weihl |
Reasoning about Object-Oriented Programs that Use Subtypes. |
OOPSLA/ECOOP |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #89 of 89 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")