Changeset 2558


Ignore:
Timestamp:
Dec 18, 2012, 8:40:30 AM (7 years ago)
Author:
amadio
Message:

r

Location:
Deliverables
Files:
4 added
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/README

    r429 r2558  
    1010      $ ocamlbuild Test.native
    1111  * The emulator outputs on stderr.  As all 8051 programs loop infinitely, you
    12     must manually terminate the emulator process after a few seconds, in order
     12    must manually terminate the etmmulator process after a few seconds, in order
    1313    to view the execution trace.  To execute the emulator, run:
    1414      $ ./Test.native Test.hex 2> /tmp/log
  • Deliverables/D5.1-5.3/report.tex

    r1704 r2558  
    658658month 36).
    659659
     660The main planned contribution of deliverable D5.1 is a
     661tool that takes as input an annotated C program produced by the CerCo
     662compiler and tries to synthesize a certified bound on the execution
     663time of the program.  The related expected contribution of deliverable
     664D5.3 amounts to apply the tool described in D5.1 to the C programs generated
     665by a Lustre compiler.  This planned work is described in the first
     666document...which accompanies a software distribution...
     667Frama-C plug-in ...more examples...
    660668
    661669\paragraph{Synthesis of certified cost bounds}
     
    690698We pause to recall a redistribution of the workforce of the UPD site.
    691699Following the resignation of the doctoral student at the end of year
    692 1, the contract of the post-doc has been extended till month 33.
    693 It follows that in the UPD site there has been a shift of manpower
    694 from the third to the second year. Because of this shift we decided to
     7001, the contract of the post-doc which expired at month 13
     701has been as extended till month 33. 
     702It follows that in the UPD site there has been a shift of manpower from
     703the third to the second year. Because of this shift we
    695704anticipate the presentation of deliverable D5.3 at month 24 rather
    696 than month 36. Besides this contingent reason, it is clear that the
    697 development of the synthesis tool must go hand in hand with its
    698 experimentation on larger and larger classes of programs.  The UPD
    699 post-doc is expected to continue work on D5.1 and D5.3 till the end of
    700 its contract.
     705than month 36.
    701706
    702707
     
    764769have an impact on the practice of programming.
    765770
    766 
     771A second development is of a more speculative nature and
     772concerned with the development of a type system
     773for a functional langauge with side effects that guarantees a complexity
     774bound... First work to account for side effects... Ongoing work tries to
     775extend the framework to polynomial time. Eventually we hope to join
     776the thread on implicit complexity...???
    767777
    768778
Note: See TracChangeset for help on using the changeset viewer.