| 
Debuggers
 » 
Java Modeling Language (JML)
 » 
jmlspecs-interest
Parent Categories/Forums: Java Modeling Language (JML)
Edit this Forum

jmlspecs-interest

Search:
This forum is an archive for the mailing list: jmlspecs-interest@lists.sourceforge.net (mailing list options). Messages posted here will be sent to this mailing list.

Mailing list archive for jmlspecs-interest
Child Forums (0): None
To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more
Post to jmlspecs-interest Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›

Thread (243 Threads) Rating Replies Last Message

New Academia.edu feature for JMLSpecs-Interest by Richard Price-16
0
by Richard Price-16

Assistant Professorships in Computer Science at ETH Zurich by Peter Müller
0
by Peter Müller

Simplication of refines and file suffixes in JML by Gary T. Leavens-2
2
by Gary T. Leavens-2

Re: Simplication of refines and file suffixes in JML by Gary T. Leavens-2
1
by Henrique Rebêlo

let expressions for JML, approved unless someone objects by Gary T. Leavens-2
1
by Gary T. Leavens-2

Final Call for Participation: 2nd JML Spec-a-thon: JML^2, 18-20 November 2009, Dublin, Ireland by Joseph Kiniry
0
by Joseph Kiniry

JML standardization by Ravil Zakirov
1
by Gary T. Leavens-2

2nd Call for Participation: 2nd JML Spec-a-thon: JML^2, 18-20 November 2009, Dublin, Ireland by Joseph Kiniry
0
by Joseph Kiniry

Call for Participation: 2nd JML Spec-a-thon: JML^2, 18-20 November 2009, Dublin, Ireland by Joseph Kiniry
1
by Gary T. Leavens-2

thesis on JML by Adam Darvas
0
by Adam Darvas

Incorrect grammar for 'forall-var-declarator' in reference manual? by Robert Dyer
2
by Robert Dyer

SLE 2009 Denver Colorado - Call for participation by Alexander Serebrenik
0
by Alexander Serebrenik

Re: "\created" primitive expression for JML by Marieke Huisman-2
11
by Jooyong Lee

Re: JML Language levels question by Gary T. Leavens-2
0
by Gary T. Leavens-2

Proposed Quantifier Changes by Daniel M. Zimmerman-...
1
by Curt Clifton

An implementation of Subtyping for Annotations by Dr. James J. Hunt-2
0
by Dr. James J. Hunt-2

Notes from discussion about semantic issues in Dagstuhl (fwd) by Gary T. Leavens-2
12
by Marieke Huisman-2

Let Expressions in JML by Curt Clifton
13
by David Cok

JML issues - comments welcome by David Cok
19
by Gary T. Leavens-2

reacheable nodes by Juan Pablo Galeotti
9
by Gary T. Leavens-2

conditional specs in JML by David Cok
1
by Gary T. Leavens-2

Decisions and open items summary for JML by Gary T. Leavens-2
3
by Gary T. Leavens-2

Proposal for \TYPE in JML with generic types by David Cok
1
by Curt Clifton

Dagstuhl action item: lock ordering operators by David Cok
0
by David Cok

Is JML Available for Industry Use? by Jacques Fan-2
1
by Gary T. Leavens-2

Semantic Discussion Wiki Page by Gary T. Leavens-2
0
by Gary T. Leavens-2

Trying to run JML4 by MLjubich
0
by MLjubich

JML4 compiler install? by MLjubich
0
by MLjubich

a little help by Leonardo Quevedo
0
by Leonardo Quevedo

Quantifiers, \old, and arrays by Curt Clifton
18
by Gary T. Leavens-2

Notes from the JML Spec-a-thon May 26-28 by Gary T. Leavens-2
2
by Robby-11

Question about serialized objects by Sonia Victoria Vivas...
2
by Wladimir de Lara Ara...

preconditions for model programs by Patrice Chalin-3
2
by Gary T. Leavens-2

How to specify multiple specification cases with orthogonal conditions. by Taek
13
by Taek

Human input syntax for JML, use of Java 5 annotations by Gary T. Leavens-2
1
by Curt Clifton
Post to jmlspecs-interest Post New Message  ::  Alert me of new posts  ::  Atom feed for jmlspecs-interest
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›
Free embeddable forum powered by Nabble Forum Help