The following pages link to LARCH (Q14670):
Displaying 50 items.
- (Q2767157) (← links)
- (Q2767191) (← links)
- Ours Is to Reason Why (Q2842639) (← links)
- Translation templates to support strategy development in PVS (Q2864361) (← links)
- Behavioral interface specification languages (Q2875082) (← links)
- Towards the Formal Specification and Verification of Maple Programs (Q2907326) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- (Q3046739) (← links)
- Modular Specification of Encapsulated Object-Oriented Components (Q3591389) (← links)
- (Q4215860) (← links)
- (Q4220643) (← links)
- (Q4231169) (← links)
- (Q4232479) (← links)
- (Q4250655) (← links)
- (Q4414396) (← links)
- (Q4417843) (← links)
- (Q4459116) (← links)
- (Q4471914) (← links)
- (Q4493898) (← links)
- Algebra and automated deduction (Q4647540) (← links)
- (Q4680193) (← links)
- Baby Modula-3 and a theory of objects (Q4764620) (← links)
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY (Q4781450) (← links)
- (Q4790351) (← links)
- A formal notation and tool for the engineering of CORBA systems (Q4790903) (← links)
- Modular specification of frame properties in JML (Q4794726) (← links)
- (Q4821318) (← links)
- Program derivation with verified transformations — a case study (Q4884666) (← links)
- (Q4942099) (← links)
- (Q4944854) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Goldilocks and the three specifications (Q5044720) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- Specifications can make programs run faster (Q5044738) (← links)
- An overview of LP, the Larch Prover (Q5055717) (← links)
- Combining matching algorithms: The regular case (Q5055731) (← links)
- Rewriting, and equational unification: the higher-order cases (Q5055746) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- Problems in rewriting applied to categorical concepts by the example of a computational comonad (Q5055832) (← links)
- Rewrite systems for integer arithmetic (Q5055840) (← links)
- Exploring abstract algebra in constructive type theory (Q5210799) (← links)
- Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)
- Object-Oriented Specification and Open Distributed Systems (Q5390275) (← links)
- (Q5447372) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
- (Q5461602) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- (Q5506381) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703989) (← links)
