| 
Programming Languages
 » 
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
Post to jmlspecs-interest Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›

Thread (168 Threads) Rating Replies Last Message

Call for contributions: VAMP'09 by Christian Haack-2
0
by Christian Haack-2

Arrays Doubt by Daniela da Cruz
0
by Daniela da Cruz

Sireum/Kiasan for Java by Robby-11
0
by Robby-11

JML2 Eclipse plug-in by Werner Dietl
0
by Werner Dietl

Re: Specification and verification of Java programs using JML and Coq by Gary T. Leavens-2
1
by Joseph Kiniry

Re: Question about learning JML by Gary T. Leavens-2
0
by Gary T. Leavens-2

Re: [Jmlspecs-developers] lock ordering and autoboxing by Curt Clifton
7
by Gary T. Leavens-2

RAC initialization question by Wladimir de Lara Ara...
1
by Gary T. Leavens-2

JML4 in Eclipse by Chris Murphy-9
4
by Chris Murphy-9

PhD and Postdoc Positions in Programming Methodology, ETH Zurich by Peter Müller
0
by Peter Müller

JML doubt: Fibonacci example by Daniela da Cruz
2
by Erik Poll

Running Examples questions by Denise Carolina Vide...
0
by Denise Carolina Vide...

SAVCBS 2008 Call For Papers -- 7th Workshop on Specification and Verification of Component-based Systems (co-located with FSE 2008) by Robby-11
0
by Robby-11

PhD Positions in Secure Software and Languages by David.Clarke
0
by David.Clarke

Fwd: Call for Papers and Participation: VSTTE'08 Workshops on Tools, Theories and Experiments by Joseph Kiniry
0
by Joseph Kiniry

junit in JML 5.5 behaving strangely by Joseph Kiniry
7
by Patrice Chalin-3

TOOLS tutorial reminder: Verification-centric Development in Java using BON, JML, and ESC/Java2 by Joseph Kiniry
0
by Joseph Kiniry

JML Java 5 Annotations Proposal by Kristina B. Taylor
0
by Kristina B. Taylor

Recusion bounds by Dr. James J. Hunt-2
3
by Dr. James J. Hunt-2

CFP: VSTTE workshop "VS-EXPERIMENTS": experiments in verification by Joseph Kiniry
0
by Joseph Kiniry

Re: [Jmlspecs-developers] .jml file processing and refines clauses by Wladimir de Lara Ara...
0
by Wladimir de Lara Ara...

ECOOP 2008 Call for Posters/Demos by David.Clarke
0
by David.Clarke

ECOOP 2008 Call for Participation by David.Clarke
0
by David.Clarke

CFP - IFM 2009 by Frédéric Dadeau
0
by Frédéric Dadeau

Questions About Set Comprehensions, Collections, and Types by Daniel M. Zimmerman-...
3
by Joseph Kiniry

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
Post to jmlspecs-interest Post New Message  ::  Alert me of new posts  ::  Atom feed for jmlspecs-interest
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›
LightInTheBox - Buy quality products at wholesale price
Free Forum Powered by Nabble Forum Help