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

Protocols and Practices enforcing in Python through bytecode and inspection

00:00

Formal Metadata

Title
Protocols and Practices enforcing in Python through bytecode and inspection
Title of Series
Number of Parts
160
Author
License
CC Attribution - NonCommercial - ShareAlike 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor and the work or content is shared also in adapted form only under the conditions of this
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Protocols and Practices enforcing in Python through bytecode and inspection [EuroPython 2017 - Talk - 2017-07-10 - PyCharm Room] [Rimini, Italy] Python is an interpreted development language with powerful introspection features, up to allow accesso to the byte code itself to see what the virtual machine is going to do. Reaching down to byte code or low level inspection is usually a very uncommon need and it's usually only involved in debugging or understanding the interpreter internals, but it can be a powerful tool to check that third parties code that (or the code we will write ourselves in the future) sticks to some protocols or best practices that are supposed to be in place. Most of the needs for this checks are usually performed at execution time or through techniques like metaclasses and monkeypatching of third parties code, but in some cases it would be possible to inadvertently skip those checks or work them around, while verifying the resulting byte code allows us to check what's really going to be executed and enforce the required constraints
BytecodeCommunications protocolSoftwareIntelTurbo-CodeCache (computing)Software frameworkObject-relational mappingGUI widgetData storage deviceTemplate (C++)Library (computing)Software developerPersonal digital assistantComputer programmingFunction (mathematics)Multiplication signLibrary (computing)Data storage deviceSoftware frameworkSoftware developerComputer fileComputer programmingSoftwareLevel (video gaming)Interface (computing)Type theoryWater vaporProjective planeWeb 2.0Moment (mathematics)DatabaseSigma-algebraWebsiteArithmetic meanObject-oriented programmingAspect-oriented programmingBinary imageMereologyIntegrated development environmentStructural loadFunctional programmingError messageObject (grammar)Different (Kate Ryan album)Physical systemExpected valueInteractive televisionForestSound effectRollback (data management)State of matterINTEGRALDatabase transactionAuthorizationCondition numberSequelPixelSheaf (mathematics)Augmented realityForm (programming)Well-formed formulaForcing (mathematics)Branch (computer science)Interpreter (computing)CodeSingle-precision floating-point formatParticle systemCASE <Informatik>Sampling (statistics)Avatar (2009 film)WordSystem callDoubling the cubeFile systemSpacetimeMathematicsWeb-DesignerProof theorySoftware testingInvariant (mathematics)Programming paradigmExecution unitMoving averageMiniDiscServer (computing)Computer animationLecture/Conference
Communications protocolSoftware developerInterface (computing)Type theoryContext awarenessLibrary (computing)CodeProjective planeElectronic signatureObject (grammar)File systemCommunications protocolMereologySoftwareLibrary (computing)Web pageSoftware frameworkExpected valueNumberType theoryComputer fileSound effectPoint (geometry)Web 2.0Forcing (mathematics)Key (cryptography)Product (business)Data storage deviceInteractive televisionForestData miningInterface (computing)Computer animation
Communications protocolType theoryLibrary (computing)CodeContext awarenessFormal languageContent (media)Library (computing)Sound effectExpected valueSocial classFormal languageContext awarenessPhysical systemReal numberCommunications protocolModule (mathematics)Object (grammar)Revision controlCASE <Informatik>Fraction (mathematics)Endliche ModelltheorieAbstractionInheritance (object-oriented programming)MereologyWebsiteBeat (acoustics)Form (programming)
Context awarenessDylan <Programmiersprache>Library (computing)Object (grammar)SequenceFormal languageInheritance (object-oriented programming)Internet service providerSource codeType theoryCASE <Informatik>Basis <Mathematik>CodeComputer animation
Formal languageLibrary (computing)Context awarenessAntimatterSound effectEvent horizonDefault (computer science)CASE <Informatik>DivisorFactory (trading post)Letterpress printingModule (mathematics)Computer fileFluid staticsMathematical analysisCodeEvent horizonError messageContext awarenessCondition numberFunctional (mathematics)ImplementationInheritance (object-oriented programming)Endliche ModelltheorieNamespaceExpected valueLevel (video gaming)Module (mathematics)Windows RegistryMathematical analysisWritingFactory (trading post)Fluid staticsRun time (program lifecycle phase)Software developerLibrary (computing)Slide ruleSet (mathematics)Dynamical systemCommunications protocolCodeFormal languageCASE <Informatik>SoftwareType theoryComputer fileComputer programmingSound effectSequenceSystem callStack (abstract data type)NeuroinformatikOperating systemSource codeSemiconductor memoryVariable (mathematics)Multiplication signSocial classDeclarative programmingFrame problemCrash (computing)Point (geometry)Object (grammar)Key (cryptography)Interface (computing)Coefficient of determinationData storage deviceCartesian coordinate systemLogical constantPattern languageGreatest elementDivisorOrder (biology)QuicksortIntegrated development environmentComputer configurationTrailSoftware frameworkVariety (linguistics)JSONXML
Context awarenessCodeFluid staticsMathematical analysisSuite (music)Projective planeSet (mathematics)Open sourceChainPower (physics)Type theoryText editorComputer animation
Suite (music)CodeHecke operatorBytecodeSyntaxbaumAbstract syntax treeCompilerModul <Datentyp>Information systemsParsingModule (mathematics)Run time (program lifecycle phase)Operator (mathematics)Software testingRegular expressionCodeExpected valueWritingEqualiser (mathematics)Functional (mathematics)Context awarenessPairwise comparisonState of matterArithmetic meanHydraulic jumpMathematicsBytecodeMereologyResultantDifferent (Kate Ryan album)Formal languageSuite (music)Square numberAbstract syntax treeOrder (biology)Electronic mailing list2 (number)Element (mathematics)Right angleSymbol tableMultiplication signKinematicsTelecommunicationPerformance appraisalFinite differenceData miningSocial classInequality (mathematics)Object modelObject (grammar)Dependent and independent variablesSemaphore line
CodeParsingPoint (geometry)Regular expressionElectronic mailing listComputer animation
Kolmogorov complexityCASE <Informatik>State of matterLimit (category theory)Loop (music)Statement (computer science)Function (mathematics)Letterpress printingResultantBranch (computer science)Functional (mathematics)Complex (psychology)Utility softwareConvex setCodeBitLimit (category theory)Computer animation
Core dumpParsingWeb pageCodeThresholding (image processing)CASE <Informatik>Kolmogorov complexityFunction (mathematics)Letterpress printingBytecodeComplex (psychology)CodeBranch (computer science)NumberProgrammschleifeWell-formed formulaRoutingXMLComputer animation
CodeContext awarenessTerm (mathematics)Computer fileAxiom of choiceComplex (psychology)Functional (mathematics)Software testingMoment (mathematics)Vector spaceComplex (psychology)ResultantExpected valuePoint (geometry)Connected spaceComputer programmingPhysical systemPatch (Unix)Lattice (order)Context awarenessMetric systemForestProjective planeCodeGoodness of fitCASE <Informatik>Power (physics)MereologyProgrammschleifeWater vaporDifferent (Kate Ryan album)Software developerFormal languageMathematicsBytecodeBoss CorporationPhase transitionInsertion lossBlogTranslation (relic)Software bugSuite (music)Computer fileCommunications protocolError messageDatabaseObject (grammar)Single-precision floating-point formatLibrary (computing)Code refactoring
Single-precision floating-point formatMessage passingFunctional (mathematics)Task (computing)GodLogicImage registrationPhase transitionLibrary (computing)Moment (mathematics)MereologyQuicksortParticle systemSoftware developerOpen sourceContext awarenessMultiplication signCost curveSoftware frameworkPoint (geometry)Group actionCASE <Informatik>CodeSoftwareMathematicsRevision controlBytecodeCore dumpFeedbackExpected valueProjective planeWebsiteFrame problemSocial classGoodness of fitThermal expansionCoefficient of determinationLatent heatSystem callStack (abstract data type)Parameter (computer programming)Mobile appRun time (program lifecycle phase)Pattern languageHookingRow (database)Computer filePatch (Unix)Software bugOperator (mathematics)Lecture/Conference
Transcript: English(auto-generated)