We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Graded Hoare Logic and its Categorical Semantics

00:00
subtitles
off
playback rate
1
subtitles
off
English (auto-generated)
playback rate
0.25
0.5
0.75
1
1.25
1.5
1.75
2
quality
576p
9
 Cite
 Share
 Related Material
 Download Purchase
No logo availableEuropean Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
 Sato, Tetsuya Katsumata, Shin-ya Orchard, Dominic Gaboardi, Marco

Formal Metadata

Title
Graded Hoare Logic and its Categorical Semantics
Title of Series
Number of Parts
16
Author
License
CC Attribution 3.0 Germany:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
00:00
GradientHoare logicMorley's categoricity theoremSemantics (computer science)Semantics (computer science)LogicGradientComputer animation
00:17
LogicComputer programError messagePredicate (grammar)GradientHoare logicInformation securityLevel (video gaming)Variable (mathematics)Loop (music)Invariant (mathematics)ProgrammschleifeSemantics (computer science)Abelian categorySimilarity (geometry)Physical lawProduct (business)Binary fileCategory of beingLogic programmingTerm (mathematics)1 (number)Rule of inferenceSubstitute goodExpressionProof theoryProbability distributionContext awarenessGamma functionAxiomSampling (statistics)GradientLevel (video gaming)Validity (statistics)Semiconductor memoryMultiplication signLogicSemantics (computer science)Ocean currentCategory of beingData structureMonad (category theory)MonoidHurewicz-FaserungProduct (business)Condition numberSequenceFunctional (mathematics)Computer programmingSet (mathematics)MereologyConstructor (object-oriented programming)Arrow of timeIdentity managementBinary codeObject (grammar)Physical lawInvariant (mathematics)Hoare logicSimilarity (geometry)Loop (music)Contrast (vision)Predicate (grammar)Information securityNeuroinformatikConnectivity (graph theory)Variable (mathematics)Theory of relativitySound effectExecution unitPoint (geometry)CodecInformation privacyDifferential (mechanical device)DatabaseQuery languageApproximationCollaborationismCommutatorAssociative propertyRow (database)Einbettung <Mathematik>Endliche ModelltheorieCoordinate systemElement (mathematics)PreconditionerVibrationFrame problemDivisorComputer animation
Transcript: English(auto-generated)