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
Post to jmlspecs-interest Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 36-70  —  Older

Thread (178 Threads) Rating Replies Last Message

annotations and if statements by Claude Marché
3
by Joseph Kiniry

Re: [Jmlspecs-reloaded] Semantics of loop invariants and variant functions in JML by cok@frontiernet.net
0
by cok@frontiernet.net

ACSL (ANSI/ISO C Specification Language) by Claude Marché
0
by Claude Marché

Re: [Jmlspecs-developers] simplifying the represents clause grammar rule by dropping "<-" and only allowing "=" by Patrice Chalin-3
1
by Patrice Chalin-3

CFP: IWACO 2008 by David.Clarke
0
by David.Clarke

last call for papers: FTfJP 2008 by Marieke Huisman
0
by Marieke Huisman

Call for Papers - Formal Techniques for Java Programs by Erik Poll
0
by Erik Poll

question about strengthened post-conditions by Mirabelle Nebut-2
4
by Wladimir de Lara Ara...

data groups by Marieke Huisman
2
by Erik Poll

call for papers FTfJP 2008 by Marieke Huisman
0
by Marieke Huisman

mysterious InvariantError by Matthias F. Brandste...
4
by Matthias F. Brandste...

System.out.format by Matthias F. Brandste...
2
by Matthias F. Brandste...

representing JML type system objects as Java objects by Leo Freitas
0
by Leo Freitas

CFP: IWACO 2008 by David.Clarke
0
by David.Clarke

how to use JMLObjectSequence? by Matthias F. Brandste...
18
by Patrice Chalin-3

JML and generic types by Matthias F. Brandste...
0
by Matthias F. Brandste...

ETAPS 2008 tutorial announcement: "Verification-centric Development in Java with JML and ESC/Java2" by Joseph Kiniry
0
by Joseph Kiniry

FME Tools Repository by Carlos Vilhena
0
by Carlos Vilhena

Call for workshops at MODELS'08 by benoit baudry
0
by benoit baudry

MODELS 2008 First call for contributions by benoit baudry
0
by benoit baudry

ownership modifiers by Marieke Huisman
2
by David Naumann

OpenJML by cok@frontiernet.net
0
by cok@frontiernet.net

type modifiers by cok@frontiernet.net
1
by Patrice Chalin-3

Exceptions inside Exceptional Clauses by Carlos Vilhena
3
by Patrice Chalin-3

E.T.S. Walton Fellowships in Ireland by Joseph Kiniry
0
by Joseph Kiniry

JML implications by cok@frontiernet.net
1
by cok@frontiernet.net

Re: JmlObjectSet by cok@frontiernet.net
0
by cok@frontiernet.net

Re: [Jmlspecs-developers] uniformity in heavyweight spec cases wrt "code" keyword by Patrice Chalin-3
0
by Patrice Chalin-3

unnecessary distinction between specs and modifiers? by Jonathan Aldrich
1
by Joseph Kiniry

Fw: Software Composition 2008 by Yoonsik Cheon
0
by Yoonsik Cheon

Modeling types, runtime checking and theorem proving for JML by Gary T. Leavens
10
by Joseph Kiniry

Faculty positions in Software Engineering at Concordia University by Patrice Chalin-3
0
by Patrice Chalin-3

More JML items related to grants and the BoF at ECOOP by Gary T. Leavens
1
by Joseph Kiniry

Notes from the JML BoF at ECOOP 2007 by Gary T. Leavens
0
by Gary T. Leavens

Re: ECOOP'07 JML BoF in room H 2036 of ECOOP conference main building by Gary T. Leavens
0
by Gary T. Leavens
Post to jmlspecs-interest Post New Message  ::  Alert me of new posts  ::  Atom feed for jmlspecs-interest
« Newest  ‹ Newer  —  Threads 36-70  —  Older
LightInTheBox - Buy quality products at wholesale price!