Filtrer vos résultats
- 14
- 7
- 10
- 8
- 2
- 1
- 20
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 20
- 1
- 17
- 4
- 1
- 1
- 1
- 1
- 1
- 21
- 5
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
21 résultats
|
|
|
triés par
|
|
|
A verified abstract machine for functional coroutinesElectronic Proceedings in Theoretical Computer Science, 2016, 212, pp.1-17. ⟨10.4204/EPTCS.212.1⟩
Article dans une revue
hal-02457406v1
|
||
Typing coroutines in subtractive logic1999, pp.1-19
Communication dans un congrès
hal-00094662v1
|
|||
Automatic Parametric Verification of Root Contention Protocol based on Abstract State Machines and First Order Timed LogicTACAS, 2004, France. pp.372-387
Communication dans un congrès
hal-00094616v1
|
|||
|
|
A program logic for higher-order procedural variables and non-local jumps2011
Rapport
hal-00651407v1
|
||
On the expressive power of Loop language17th Nordic Workshop on Programming Theory, 2005, Copenhaguen, Denmark
Communication dans un congrès
hal-00083374v1
|
|||
A formulae-as-types interpretation of Subtractive LogicFirst Workshop on the Logic for Pragmatics, 2003, Verona, Italy
Communication dans un congrès
hal-00094710v1
|
|||
|
|
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of controlJournal of Logic and Algebraic Programming, 2012, pp.181-208
Article dans une revue
hal-00763357v1
|
||
|
|
Extending the loop language with higher-order procedural variablesACM Transactions on Computational Logic, 2009, 10 (4), pp.1--37. ⟨10.1145/1555746.1555750⟩
Article dans une revue
hal-00422158v1
|
||
|
|
WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), Jul 2019, Stuttgart, Germany. pp.5:1--5:12, ⟨10.4230/OASIcs.WCET.2019.5⟩
Communication dans un congrès
hal-02340245v1
|
||
Automatic verification of real time systems: a case studyProceedings of the 3rd Automated Verification of Critical Systems (AVoCS'03), 2003, Southampton, United Kingdom. pp.1-11
Communication dans un congrès
hal-00094624v1
|
|||
A formulae-as-types interpretation of Subtractive LogicJournal of Logic and Computation, 2004, 14:4, pp.529-570
Article dans une revue
hal-00094584v1
|
|||
Subtractive logicTheoretical Computer Science, 2001, 254:1-2, pp.151-185
Article dans une revue
hal-00094589v1
|
|||
Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using CoqHigh Integrity Language Technology - ACM SIGAda?s Annual International Conference, Nov 2013, X, Australia. pp.2
Communication dans un congrès
hal-01126336v1
|
|||
Impossibility of essential real-time garbage collection in the general caseProceedings of the 3nd International Conferences on Computer Science and Information Technologies, 2001, Yerevan, Armenia. pp.113-117
Communication dans un congrès
hal-00094632v1
|
|||
A Type Theory which is complete for Kreisel's Modified RealizabilityElectronic Notes in Theoretical Computer Science, 1999, 23, pp.1-16
Article dans une revue
hal-00094650v1
|
|||
|
|
Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of controlThe 22nd Nordic Workshop on Programming Theory, Nov 2010, Turku, Finland. pp.70--71
Communication dans un congrès
hal-00651455v1
|
||
|
|
Extending the Loop Language with Higher-Order Procedural Variables2008
Autre publication scientifique
hal-00385411v1
|
||
|
|
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables2009
Autre publication scientifique
hal-00385416v1
|
||
On the Expressive Power of the Loop LanguageNordic Journal of Computing, 2006, 13, http://www.cs.helsinki.fi/njc
Article dans une revue
hal-00089848v1
|
|||
A confluent lambda-calculus with a catch/throw mechanismJournal of Functional Programming, 1999, 9:6, pp.625-647
Article dans une revue
hal-00094601v1
|
|||
|
|
A Coq-based synthesis of Scala programs which are correct-by-constructionFormal Techniques for Java-like Programs (FTfJP) 2017, Jun 2017, Barcelona, Spain. ⟨10.1145/3103111.3104041⟩
Communication dans un congrès
hal-01548709v1
|