Added concrete par example from grammar. Added further elaboration on example. Other...
[firstyearreport:firstyearreport.git] / report.bib
2011-01-06 Joey CapperUpdate to causality section. Bool -> Prop in predicate...
2010-11-09 Joey CapperThesis plan and future work tweaks.
2010-11-09 Joey CapperCompleted missing sections of Related Work.
2010-11-02 Joey CapperCorrections to the first 8 pages.
2010-10-27 Joey CapperFuture work section draft: Comound data, meta-theory...
2010-10-25 Joey CapperUpdated Capper & Nilsson reference.
2010-10-25 Joey CapperFurther work on refined types section. Mostly copy...
2010-10-22 Joey CapperFurther work on technical section 5. Slight reworking...
2010-10-21 Joey CapperAdded overview material to section 5 (our type system...
2010-10-21 Joey CapperSection on causality added. Redundant material removed...
2010-10-20 Joey CapperSection on Bunus and Fritzson's analysis techniques.
2010-10-19 Joey CapperAdded a section on the work by Broman et al.
2010-10-18 Joey CapperSection on Modelica added.
2010-09-22 Joey CapperFurther paragraphs on Modelica. Description of classes...
2010-09-14 Joey CapperParagraph on acausal models. Began section describing...
2010-09-13 Joey CapperA few more paragraphs in sect. 3 (Types in equation...
2010-08-27 Joey CapperAdded section labels. Extended introduction by 3 paragr...
2010-08-25 Joey CapperInitial commit. Literal Haskell files and brief guideli...