{"id":546,"date":"2021-09-16T11:56:35","date_gmt":"2021-09-16T09:56:35","guid":{"rendered":"https:\/\/members.loria.fr\/RPechoux\/?page_id=546"},"modified":"2021-09-16T13:26:48","modified_gmt":"2021-09-16T11:26:48","slug":"software","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/RPechoux\/software\/","title":{"rendered":"Software"},"content":{"rendered":"

ComplexityParser<\/h1>\n

ComplexityParser1<\/a><\/sup> is a static complexity analyzer for Java programs based on tier-based typing following 2<\/a><\/sup> and 3<\/a><\/sup>. If a program is typable, this guarantees its runtime to be polynomial on the condition that it halts. The type inference is automatic; its complexity is linear in the size of the input program in practice.<\/p>\n

The code is under the Apache 2.0 License<\/a>.<\/p>\n

<\/a>Download<\/h2>\n

The current 1.0 version can be downloaded from gitlab :<\/p>\n

https:\/\/gitlab.inria.fr\/complexityparser\/complexityparser\/-\/archive\/v1.0\/complexityparser-v1.0.zip<\/a>.<\/p>\n

You can also clone this repository using git.<\/p>\n

The examples suite is in the examples\/<\/code> directory and is available for download as a zipfile:<\/p>\n

https:\/\/gitlab.inria.fr\/complexityparser\/complexityparser\/-\/archive\/v1.0\/complexityparser-1.0.zip?path=examples<\/a>.<\/p>\n

<\/a>Compile<\/h2>\n

<\/a>With maven<\/h3>\n

To compile this program using maven, execute the command<\/p>\n

mvn package<\/span><\/code><\/pre>\n
<\/a>Run<\/h2>\n
Compilation will create an executable jar inside the target\/<\/code> folder that can be run with<\/p>\n
java -jar target\/complexity-1.0.jar<\/span><\/code><\/pre>\n
Once the application has opened, you are presented with 3 panels:<\/p>\n
    \n
  1. on the left, the analyzed code<\/li>\n
  2. in the center, the parse tree of this code<\/li>\n
  3. on the right, the results of the typing inference.<\/li>\n<\/ol>\n
    The code in the left panel can be edited directly. When you click on the update button or press the F6<\/code> key the code will be analyzed, the parse tree will be updated and the right panel will show information about (successful or unsuccessful) typing operations and the final result. If the Final Result<\/code> is 0 or 1, it means that the typing was successful: the code is polytime provided it halts. If the Final Result<\/code> is None<\/code>, the typing failed.<\/p>\n
    The File > Open<\/code> menu or the Ctrl - o<\/code> shortcut can be used to open a file and analyze it instead of writing the code in the left panel. The code in the left panel can still be edited but it will have no effect on the loaded file (no changes are or can be saved).<\/p>\n
    <\/a>Dependencies<\/h2>\n
    This program uses the ANTLR framework to generate a parser, this is the only dependency and it will be downloaded automatically if you compile the program with maven.<\/p>\n
    <\/a>Authors<\/h2>\n
    Emmanuel Hainry, Emmanuel Jeandel, Romain P\u00e9choux, Olivier Zeyen, Nishigandha Yadav<\/p>\n
    <\/a>References<\/h2>\n
    \n
      \n
    1. \n
      Emmanuel Hainry, Emmanuel Jeandel, Romain P\u00e9choux, and Olivier Zeyen. ComplexityParser: an automatic tool for certifying poly-time complexity of Java programs<\/strong>. In<\/em> International Colloquium on Theoretical Aspects of Computing (ICTAC), LNCS, volume 12819, 2021.<\/p>\n<\/li>\n
    2. \n
      Emmanuel Hainry and Romain P\u00e9choux. Objects in polynomial time<\/strong>. In<\/em> APLAS 2015, LNCS, pages 387\u2013404. Springer, 2015.<\/p>\n<\/li>\n
    3. \n
      Emmanuel Hainry and Romain P\u00e9choux. A type-based complexity analysis of object oriented programs<\/strong>. Information and Computation, 261:78\u2013115, 2018.<\/p>\n<\/li>\n<\/ol>\n<\/section>\n","protected":false},"excerpt":{"rendered":"
      ComplexityParser<\/p>\n
      ComplexityParser1<\/a> is a static complexity analyzer for Java programs based on tier-based typing following 2<\/a> and 3<\/a>. If a program is typable, this guarantees its runtime to be polynomial on the condition that it halts. The type inference is automatic; its complexity is linear in the size of the input program in practice.<\/p>\n
      The code is under the Apache 2.0 License<\/a>.<\/p>\n
      <\/a>Download<\/p>\n
      The current 1.0 version can be downloaded from gitlab :<\/p>\n
      https:\/\/gitlab.inria.fr\/complexityparser\/complexityparser\/-\/archive\/v1.0\/complexityparser-v1.0.zip<\/a>.<\/p>\n
      You can also clone this repository using git.<\/p>\n","protected":false},"author":96,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-546","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/546","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/users\/96"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/comments?post=546"}],"version-history":[{"count":4,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/546\/revisions"}],"predecessor-version":[{"id":555,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/546\/revisions\/555"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/media?parent=546"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}