Archive of comp.specification.larch,
in reverse chronological order.
This archive contains messages posted to the comp.specification.larch newsgroup
and to the former larch-interest mailing list. Messages posted after
January 24, 1996, do not appear yet in this archive, but will be added soon.
- Re: ILU for VHLL FFI [was: RFD: Programming Language Feature Matrix]
- From: connolly@w3.org (Dan Connolly)
- Trait's for Codd's Relational Calculus?
- From: connolly@w3.org (Dan Connolly)
- FME'96
- From: Jim.Woodcock@comlab.ox.ac.uk (Jim Woodcock)
- CFI Catalogue of algebraic specification languages on WWW
- From: pdmosses@daimi.aau.dk
- Re: OOA/D and Corba/IDL: A Common Base
- From: leavens@cs.iastate.edu (Gary Leavens)
- Polynomial specifications in LSL
- From: leavens@cs.iastate.edu (Gary Leavens)
- RTA-96 last call for papers
- From: David Plaisted <plaisted@cs.unc.edu>
- OOA/D and Corba/IDL: A Common Base
- From: dsouza@suez.iconcomp.com (Desmond F. D'Souza)
- New release of Larch/C++ (version 4.1)
- From: leavens@cs.iastate.edu (Gary Leavens)
- Formal Methods in Computer-Aided Design (FMCAD'96): Call For Papers
- From: srivas <srivas@csl.sri.com>
- Re: Larch "oversight"
- Draft list of questions for a Larch FAQ list
- From: Gary Leavens <leavens@cs.iastate.edu>
- Re: Larch "oversight"
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Re: Should I CAPITALIZE const identifiers?
- From: ok@cs.rmit.edu.au (Richard A. O'Keefe)
- Re: Basic LSL Questions
- Re: Basic LSL Questions
- From: "Stephen J. Garland" <garland@lcs.mit.edu>
- Basic LSL Questions
- From: schroed@schubert.cs.colostate.edu ( stephen schroeder)
- Re: HELP on proving SetBasics.lsl
- From: "Stephen J. Garland" <garland@lcs.mit.edu>
- HELP on proving SetBasics.lsl
- From: bassi@cs.unibo.it (Alberto Bassi)
- Re: Polynomial specifications
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Polynomial specifications
- From: lescanne@loria.fr (Pierre Lescanne)
- Re: The real numbers
- From: lescanne@loria.fr (Pierre Lescanne)
- The real numbers
- From: leavens@cs.iastate.edu (Gary Leavens)
- Polynomial specifications
- From: leavens@cs.iastate.edu (Gary Leavens)
- My book is out!
- From: Tan Yang Meng <tyangmen@Trantor.DSO.gov.SG>
- A question
- From: cianca@cs.unibo.it (Paolo Ciancarini)
- Oversight in the definition of LSL(?)
- From: davidg@www.oracorp.com (David Guaspari)
- Re: A question
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Re: A question
- A question
- From: sakthi@ba.tis.com (Sakthi Subramanian)
- Re: Some questions about Larch
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Some questions about Larch
- From: Noemie Slaats <ns@cage.rug.ac.be>
- Trip Report: IFIP WG 14.3, WADT11, COMPASS
- Report on Common Framework Meetings
- From: pdmosses@daimi.aau.dk
- A Common Framework for Algebraic Specification
- From: pdmosses@daimi.aau.dk
- Re: Partial Functions and Logics
- From: cliff@cs.man.ac.uk (Cliff B Jones)
- emacs mode for LSL?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: how to get LP to prove things like ~(1 <= 0) and (0 <= 2)?
- From: Mark Vandevoorde <mtv>
- how to get LP to prove things like ~(1 <= 0) and (0 <= 2)?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Specifying the Reals in LSL?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Specifying the Reals in LSL?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Specifying the Reals in LSL?
- From: "Stephen J. Garland" <garland>
- Re: Partial Functions and Logics
- From: mike@comlab.ox.ac.uk (Mike Spivey)
- Re: Partial Functions and Logics
- From: mike@comlab.ox.ac.uk (Mike Spivey)
- Re: Partial Functions and Logics
- From: mike@comlab.ox.ac.uk (Mike Spivey)
- "Applications of Formal Methods" now available
- From: Michael Hinchey <hinchey>
- Re: Partial Functions and Logics
- From: cliff@cs.man.ac.uk (Cliff B Jones)
- Re: Partial Functions and Logics
- From: cliff@cs.man.ac.uk (Cliff B Jones)
- Re: Partial Functions and Logics
- From: cliff@cs.man.ac.uk (Cliff B Jones)
- Re: Can you cache the unknown? (was Re: Session-ID proposal)
- From: connolly@beach.w3.org ("Daniel W. Connolly")
- Re: Partial Functions and Logics (2)
- From: hubert@mpi-sb.mpg.de (Hubert Baumeister)
- Re: Partial Functions and Logics
- From: hubert@mpi-sb.mpg.de (Hubert Baumeister)
- Partial Functions and Logics
- From: chalin@cs.concordia.ca (CHALIN patrice)
- New Release of Larch/C++ (3.5)
- From: leavens@cs.iastate.edu (Gary Leavens)
- DerivedOrders.lsl
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Proving "partitioned by"
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- FWD: CFP for Formal Methods Workshop, ICSE '96 Berlin
- LP
- From: Michal_Iglewski@uqah.uquebec.ca (Michal Iglewski)
- FWD: Dagstuhl specification competition, reactive control systems
- A specification case study.
- From: KURODA Kiyotaka <kuroda@cs.cmu.edu>
- FWD: CFP for Formal Methods Europe
- Workshop Announcement
- From: "Jeannette M. Wing" <wing@cs.cmu.edu>
- [Bernd.Kraemer@FernUni-Hagen.de: CFP High Integrity Systems Engineering]
- From: "Jeannette M. Wing" <wing@cs.cmu.edu>
- "protective" specs
- From: wing+@cs.cmu.edu (Jeannette Wing)
- Re: LSL boolean combinations involving undefined terms (and CJ's article)
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: LSL boolean combinations involving undefined terms
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: LSL boolean combinations involving undefined terms
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: LSL boolean combinations involving undefined terms
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Step-by-step instructions to formal specification of a class needed!!
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: LSL boolean combinations involving undefined terms
- From: wand@delphi.ccs.neu.edu (Mitchell Wand)
- Re: LSL boolean combinations involving undefined terms
- From: garland@lcs.mit.edu (Stephen J. Garland)
- Re: LSL boolean combinations involving undefined terms
- From: cbj20@veblen (C.B. Jones)
- Step-by-step instructions to formal specification of a class needed!!
- From: alwalsh@rbg.informatik.th-darmstadt.de (Andreas Walsh)
- Re: LSL boolean combinations involving undefined terms
- Re: LSL boolean combinations involving undefined terms
- From: chalin@cs.concordia.ca (CHALIN patrice)
- Re: LSL boolean combinations involving undefined terms
- From: leavens@cs.iastate.edu (Gary Leavens)
- LSL boolean combinations involving undefined terms
- From: leavens@cs.iastate.edu (Gary Leavens)
- VDM and Z handbooks in LSL
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Large algebraic specifications
- From: dick@silicon.csci.csusb.edu (Dr. Richard Botting)
- Re: Large algebraic specifications
- FWD: CFP: Methods Integration Workshop
- Large algebraic specifications
- From: arie@wsinti08.win.tue.nl (Arie van Deursen)
- Re: Where to get FAQ??
- Where to get FAQ??
- From: fooheeme@iscs.nus.sg (Chrizz)
- False alarms in lclint 1.4
- From: evs@sds.lcs.mit.edu (David Evans)
- False alarms in lclint 1.4
- From: Jon Freeman <freeman_jon@jpmorgan.com>
- Re: Introduction
- From: evs@sds.lcs.mit.edu (David Evans)
- Re: Newbie Q's
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Newbie Q's
- From: shaw@cs.ucdavis.edu
- Tagging printf-like functions
- From: "JR (John Rogers)" <72634.2402@compuserve.com>
- Introduction
- From: Jon Freeman <freeman_jon@jpmorgan.com>
- plagiarism update
- From: wing+@cs.cmu.edu (Jeannette Wing)
- FWD: Plagiarism alert
- Patrice Chalin's "Shortcomings of LCL 2.4"
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: LSL Latex Source
- FWD: comp.specification.larch exists!
- LSL Latex Source
- From: "Daniel Schweizer" <schweizer@tik.ethz.ch>
- RESULT: comp.specification.{larch,misc} all groups pass
- 2nd CFV: comp.specification.{larch,misc}
- From: Gary A Feldman <gaf@cam.ov.com>
- Reminder: comp.specification.larch vote
- From: Gary A Feldman <gaf@cam.ov.com>
- Z/Larch Course
- From: simon@security.ucc.ie (Simon N. Foley)
- FWD: CFP: 4th Intl. Conference on Software Reuse
- CFP: Formal Methods in Software Practice
- CFV: comp.specification.{larch,misc}
- From: Gary A Feldman <gaf@cam.ov.com>
- Call for Papers FME'96
- From: D.Bolignano@frcl.bull.fr (Dominique.Bolignano)
- Re: Grammars and Uncountable Sets
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Re: Grammars and Uncountable Sets
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Grammars and Uncountable Sets
- From: connolly@w3.org (Dan Connolly)
- CU-DCS-TR-95-04: Shortcomings of LCL 2.4
- From: Patrice Chalin <chalin@cs.concordia.ca>
- Re: How do I prove an asserted fact with LP?
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- How do I prove an asserted fact with LP?
- From: Patrice Chalin <chalin@cs.concordia.ca>
- Recommended: "Ten Commandments of Formal Methods"
- Status of larch newsgroup
- From: Gary A Feldman <gaf@cam.ov.com>
- FWD: European workshop on hybrid systems - program
- From: gandalf@csli.stanford.edu (Juergen Wagner)
- LP
- From: "W.O.D. Griffioen" <griffioe@cwi.nl>
- Answering my own question
- From: Mitch Cherniack <mfc@cs.brown.edu>
- (Q): Ordering formulas in LP
- From: Mitch Cherniack <mfc@cs.brown.edu>
- FWD: HICSS 29 CFP, FORMAL METHODS/SW PROCESS IMPROVEMENT minitracks
- From: Mark Paulk <mcp@SEI.CMU.EDU>
- FWD: RFD: comp.specification.larch, comp.specification.misc
- Dismay
- Re: FWD: Looking for comments: Verify telecommunications system
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- larch prover and protocols
- From: Boutheina Chetali <Boutheina.Chetali@loria.fr>
- FWD: Looking for comments: Verify telecommunications system
- From: dv@srv2.med.ed.ac.uk (Duncan Verrall)
- ! in spec environment
- Graphical environment for Larch tools
- Any interest in comp.specification.larch newsgroup?
- From: Gary A Feldman <gaf@cam.ov.com>
- FWD: CFP: Correct Hardware Design and Verification Methods
- FWD: CFP: CHI '95 Workshop on Formal Specifications of User Interfaces
- Archive of larch-interest@pa.dec.com available
- European Projects
- From: Pierre Lescanne <Pierre.Lescanne@loria.fr>
- Re: specification of destructive operation (correction to Larch/C++ spec)
- From: leavens@cs.iastate.edu (Gary Leavens)
- specification of destructive operation
- From: evs@sds.lcs.mit.edu (David Evans)
- Re: specification of destructive operation
- From: leavens@cs.iastate.edu (Gary Leavens)
- Is there a way of better managing larch-interest?
- Re: specification of destructive operation
- Re: specification of destructive operation
- From: Poetzsch-Heffter <poetzsch@informatik.tu-muenchen.de>
- Re: specification of destructive operation
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: specification of destructive operation
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: specification of destructive operation
- Re: specification of destructive operation
- From: leavens@cs.iastate.edu (Gary Leavens)
- specification of destructive operation
- From: Poetzsch-Heffter <poetzsch@informatik.tu-muenchen.de>
- Re: Traits for BAN logic, TAOS auth, URI/IIIR stuff...
- From: "Daniel W. Connolly" <connolly@hal.com>
- Re: Traits for BAN logic, TAOS auth, URI/IIIR stuff...
- Traits for BAN logic, TAOS auth, URI/IIIR stuff...
- From: "Daniel W. Connolly" <connolly@hal.com>
- Re: Higher-order operators
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Interface Specifications
- From: leavens@cs.iastate.edu (Gary Leavens)
- Survey, Larch/CLU, Higher-order operators
- From: "Jeannette M. Wing" <wing@cs.cmu.edu>
- New member of mailing-list
- From: Mitch Cherniack <mfc@bullwinkle.cs.brown.edu>
- FWD: on reading binary operators
- Interface Specifications
- From: brian_bailey@MENTORG.COM (Brian Bailey)
- FWD: WIFT Preliminary Announcement
- Re: Larch/C++ and C++
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Does LCL support subtyping?
- From: "Daniel W. Connolly" <connolly@hal.com>
- Re: Does LCL support subtyping?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Can the Larch Prover be used on LSL traits?
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Can the Larch Prover be used on LSL traits?
- From: "Daniel W. Connolly" <connolly@hal.com>
- Does LCL support subtyping?
- From: "Daniel W. Connolly" <connolly@hal.com>
- Re: library of specifications
- Release 3.1 of LP, the Larch Prover
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- Re:
- No Subject
- From: makofka@monet.vill.edu (Spring 93 )
- Re: Larch and Reverse Engineering
- Software update
- From: "J. Staunstrup (EMP)" <jst@id.dtu.dk>
- No Subject
- From: makofka@monet.vill.edu (Spring 93 )
- Re: Info on Spec Languages
- Re: Info on Spec Languages
- From: John_A_Kostecki.Wbst207V@xerox.com
- Re: Info on Spec Languages
- Info on Spec Languages
- From: John_A_Kostecki.Wbst207V@xerox.com
- Re: Control in interface spec languages
- From: nj2!leavens!cs.iastate.edu@uu3.psi.com (Gary Leavens)
- Re: Control object in Larch/C
- From: nj2!horning!src.dec.com@uu3.psi.com
- Re: Control in interface spec languages
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: Control object in Larch/C
- From: Chris Flatters <cflatter@aoc.nrao.edu>
- Re: Control object in Larch/C
- Control object in Larch/C
- From: "Jeannette M. Wing" <wing@cs.cmu.edu>
- Control object in Larch/C
- From: Chris Flatters <cflatter@aoc.nrao.edu>
- LSL Calendar traits page ready
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: mechanical program/system verification
- FWD: mechanical program/system verification request
- Re: sharing traits
- From: leavens@cs.iastate.edu (Gary Leavens)
- Calendar traits
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: sharing traits
- From: leavens@cs.iastate.edu (Gary Leavens)
- sharing traits
- From: guttag@larch.lcs.mit.edu (John Guttag)
- Re: Sharing more LSL: a repository of useful traits?
- LSL grammer (BNF?) questions
- From: ymtan@iti.gov.sg (Tan Yang Meng)
- Sharing more LSL: a repository of useful traits?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: ``imports'' clause
- From: guttag@larch.lcs.mit.edu (John Guttag)
- Thanks...
- From: wilma@deis65.cineca.it (Wilma Penzo)
- Re: Further doubts...
- Further doubts...
- From: wilma@deis65.cineca.it (Wilma Penzo)
- Re: ``imports'' clause
- ``imports'' clause
- From: evs@sds.lcs.mit.edu (David Evans)
- ``imports'' clause
- From: wilma@deis65.cineca.it (Wilma Penzo)
- ``imports'' clause
- From: wilma@deis65.cineca.it (Wilma Penzo)
- ``imports'' clause
- From: evs@sds.lcs.mit.edu (David Evans)
- ``imports'' clause
- From: wilma@deis65.cineca.it (Wilma Penzo)
- FWD: New Formal Methods Applications database
- FWD: Call for White Papers on HIGH INTEGRITY SOFTWARE SYSTEMS ASSURANCE
- Re: OO methodology for larch
- From: leavens@cs.iastate.edu (Gary Leavens)
- OO methodology for larch
- From: zevans@cs.uofs.edu (Stephen Zevans)
- Introductions
- From: Eoin Woods <Eoin@copse.demon.co.uk>
- FWD: Larch dual interface example in c & ada?
- LP output from interface specifications?
- From: Amy_Moormann_Zaremski@VELCRO.VENARI.CS.CMU.EDU
- Re: query on Larch
- From: guttag@larch.lcs.mit.edu (John Guttag)
- Re: query on Larch
- LP on Linux?
- From: Yoonsik Cheon <cheon@cs.iastate.edu>
- Larch and OOA
- FWD: Query on Larch and OOA
- From: leavens@cs.iastate.edu (Gary Leavens)
- OOA and Larch LSL specifications
- From: clin@afit.af.mil (Catherine J. Lin)
- FWD: Query on Larch and OOA
- From: "Jeannette M. Wing" <wing@cs.cmu.edu>
- Re: query on Larch
- query on Larch
- From: Keith E. Williamson <kew@grace.rt.cs.boeing.com>
- Re: Forwarded query: LARCH on a PC?
- From: "J. Staunstrup (EMP)" <jst@id.dth.dk>
- Forwarded query: LARCH on a PC?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Forwarded query: LARCH on a PC?
- Re: Formal methods in undergraduate curriculum?
- From: jacob@latcs1.lat.oz.au
- Re: Formal methods in undergraduate curriculum?
- Re: Seeking info on LM3 and Modula-3 compiler(s)
- Seeking info on LM3 and Modula-3 compiler(s) (for PC if possible)
- From: John J Rood <jrood@world.std.com>
- Lectureships at St Andrews, Scotland
- From: Ursula Martin <um@cs.st-andrews.ac.uk>
- RA Position at Glasgow - clarification.
- From: muffy@dcs.gla.ac.uk
- Re: Larch ...
- Larch ...
- From: Zhonghua Yang <yang@dstc.edu.au>
- Re: MS Thesis on formal object transformations using Larch
- Research Assistantship
- From: muffy@dcs.gla.ac.uk
- MS Thesis on formal object transformations using Larch
- From: clin@afit.af.mil (Catherine J. Lin)
- FWD: CFP Mathematics of Program Construction
- Re: More questions about LSL syntax
- From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
- More questions about LSL syntax
- From: Patrice Chalin <chalin@cs.concordia.ca>
- Re: Lsl syntax questions.
- From: Patrice Chalin <chalin@cs.concordia.ca>
- Lsl syntax questions.
- From: clayton@cc.gatech.edu (R. Clayton)
- Survey Results
- From: "Jeannette M. Wing" <wing@cs.cmu.edu>
- LCL type specifications
- From: ymtan@larch.lcs.mit.edu (Yang Meng Tan)
- Re: LCL type specifications
- From: Patrice Chalin <chalin@cs.concordia.ca>
- Larch survey
- From: "Jeannette M. Wing" <wing@cs.cmu.edu>
- LCL type specifications
- From: ymtan@larch.lcs.mit.edu (Yang Meng Tan)
- LCL type specifications
- From: Paolo Ciancarini <cianca@DI.UniPi.IT>
- Re: Larch for Linux
- From: Joachim Schrod <schrod@iti.informatik.th-darmstadt.de>
- Re: Larch for Linux
- From: Steve Tracey <steve@genrad.co.uk>
- Re: Larch for Linux
- From: Chris Flatters <cflatter@aoc.nrao.edu>
- Larch for Linux
- From: njgate.chek.com!DOUG_MAKOFKA_at_CHEK-NJ-PC@chek.com
- Larch Interest
- From: njgate.chek.com!DOUG_MAKOFKA_at_CHEK-NJ-PC@chek.com
- WWW Documentation for a course in Computer Systems Verification
- FWD: CFP: Theory and Practice of Software Development (TAPSOFT'95)
- FWD: Call for discussion (formal methods)
- CFP: Workshop on Industrial-strength Formal specification Techniques
- "Who's Who on the Web in Formal Methods"
- Correction to SRC Larch URL
- Larch on the World Wide Web
- Check out "The World-Wide Web Virtual Library: Formal Methods"
- Re: FWD: CFP Workshop on Industrial-strength Formal specification Techniques
- From: kirk@zipcode.Jpl.Nasa.Gov (Kirk Reinholtz)
- Package or class specification
- From: zevans@cs.uofs.edu (Stephen Zevans)
- FWD: Call for Papers: Algebraic Methodology and Software Technology
- Re: Larch name
- Larch name
- From: cianca@cs.unibo.it (Paolo Ciancarini)
- FWD: call for papers on formal methods and standards
- How do I put proof obs onto operator args?
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- Re: How do I put proof obs onto operator args?
- From: kirk@zipcode.Jpl.Nasa.Gov (Kirk Reinholtz)
- Re: How do I put proof obs onto operator args?
- Re: How do I put proof obs onto operator args?
- From: kirk@zipcode.Jpl.Nasa.Gov (Kirk Reinholtz)
- Re: How do I put proof obs onto operator args?
- How do I put proof obs onto operator args?
- From: kirk@zipcode.Jpl.Nasa.Gov (Kirk Reinholtz)
- LARCH THEOREM PROVER COURSE
- From: Ursula Martin <um@cs.st-andrews.ac.uk>
- FWD: CFP Workshop on Industrial-strength Formal specification Techniques
- No Subject
- From: "UMANSKY ilya y." <umansky@cs.concordia.ca>
- Re: Proving Interface Specifications Correct.
- Program proving question
- Proving Interface Specifications Correct.
- From: Poetzsch-Heffter <poetzsch@informatik.tu-muenchen.de>
- Larch Prover Course 17 and 18 March 1994
- From: shb@cs.st-andrews.ac.uk (Simon Brock)
- FWD: Looking for an LSL specification of a "transit node"
- Re: Request for ADT spec Info
- Request for ADT spec Info
- From: pairoj@noguchi.riec.tohoku.ac.jp (termsinsuwan pairoj)
- Re: Refs wanted
- Re: Puzzling syntax
- Re: Puzzling syntax
- Re: Puzzling syntax
- Re: Puzzling syntax
- Puzzling syntax
- Re: lp
- From: Stephen J. Garland <garland@larch.lcs.mit.edu>
- lp
- From: Boutheina Chetali <Boutheina.Chetali@loria.fr>
- ANSI Standards for formal description techniques
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- ANSI Standards for formal description techniques
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- Re: ANSI Standards for formal description techniques
- ANSI Standards for formal description techniques
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- Parameterized sorts for LSL!
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- Parameterized sorts for LSL!?
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- Re: Parameterized sorts for LSL!?
- Parameterized sorts for LSL!?
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- Re: Parameterized sorts for LSL!?
- Parameterized sorts for LSL!?
- From: leavens@bambam.cs.iastate.edu (Gary Leavens)
- Re: lm3
- lm3
- From: pk@i3.informatik.rwth-aachen.de (Peter Klein)
- Re: information research
- information research
- From: mariano@univ-valenciennes.fr
- Re: PD specification tools?
- Re: LSL handbook
- LSL handbook
- From: "RNDr. Novitzky Vojtech CSc." <novitzky@kosice.upjs.sk>
- WWW and the Larch Handbook
- Re: Looking for LP
- Looking for LP
- From: Clemens Cap <cap@ifi.unizh.ch>
- Re: (Support) Tools for Formal Software Development ?
- Re: Larch/C
- industrial applications
- From: Michael Hinchey <Michael.Hinchey@cl.cam.ac.uk>
- Larch/C
- From: leavens@cs.iastate.edu (Gary Leavens)
- Larch/C
- Larch Tool Set
- From: garland@larch.lcs.mit.edu (Stephen Garland)
- Larch/C++ release 2.3
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: A miscellany
- Re: A miscellany
- Re: A miscellany
- Re: A miscellany
- A miscellany
- Re: Consistency
- Consistency
- From: Daniel.Schweizer@qmail.tik.ethz.ch (Daniel Schweizer)
- Vice Admiral Tuttle on Ada and on Formal Methods
- Re: assumes and includes
- assumes and includes
- From: cianca@cs.unibo.it (Paolo Ciancarini)
- Larch/C++ and hardware software co-design
- From: shome@ee.UManitoba.CA
- FWD: WORKSHOP AT ECOOP 93, Applications of Object-Oriented Formal Methods
- valid pointers
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: valid pointers
- From: mtv@godiva.lcs.mit.edu (Mark Vandevoorde)
- valid pointers
- From: leavens@cs.iastate.edu (Gary Leavens)
- alternative to "trashed" (a real message this time)
- From: leavens@cs.iastate.edu (Gary Leavens)
- Re: alternative to "trashed"
- From: mtv@godiva.lcs.mit.edu (Mark Vandevoorde)
- Re: alternative to "trashed"
- Re: alternative to "trashed"
- From: mtv@godiva.lcs.mit.edu (Mark Vandevoorde)
- Re: alternative to "trashed"
- alternative to "trashed"
- From: leavens@cs.iastate.edu (Gary Leavens)
- default qualification in Larch/C?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Semantics of trashed
- From: leavens@cs.iastate.edu (Gary Leavens)
- alternative to "trashed"
- From: mtv@godiva.lcs.mit.edu (Mark Vandevoorde)
- Re: Semantics of trashed
- Re: default qualification in Larch/C?
- Semantics of trashed
- From: leavens@cs.iastate.edu (Gary Leavens)
- default qualification in Larch/C?
- From: leavens@cs.iastate.edu (Gary Leavens)
- Larch Book Exists!
- FWD: CFP: Dependable Computing for Critical Applications
- Tactics in LP?
- From: Karl-Heinz Buth <khb@informatik.uni-kiel.dbp.de>
- SRC Research Reports available via anonymous FTP
- "Experiences with Software Specification and Verification..."
- A Larch Specification of Copying Garbage Collection
- From: Scott.Nettles@LDL.VENARI.CS.CMU.EDU
- Larch Book status
- Why Inducstry Often Says 'No Thanks' to Research
- New Larch interest distribution list
- From: larch-interest-request
Mail converted by MHonArc 1.0.0