Symbolic Reaching Definitions Analysis of Ada Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0055009
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Requirements Analysis for Large Ada Programs: Lessons Learned on CCPDS- R

1989English

Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution

Proceedings of the Institute for System Programming of the RAS
2017English

Symbolic Conditioning of Arrays in Probabilistic Programs

Proceedings of the ACM on Programming Languages
2017English

Recursive Programs as Definitions in First-Order Logic

SIAM Journal on Computing
MathematicsComputer Science
1984English

Loop-Level Parallelism in Numeric and Symbolic Programs

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
1993English

SEDGE: Symbolic Example Data Generation for Dataflow Programs

2013English

Runtime Exception Detection in Java Programs Using Symbolic Execution

Acta Cybernetica
Electronic EngineeringInformation SystemsPattern RecognitionManagement ScienceComputer VisionManagementElectricalComputer ScienceMathematicsComputational TheoryTheoretical Computer ScienceOperations ResearchSoftware
2014English

Finding Errors in Python Programs Using Dynamic Symbolic Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Ada Unseen // Invisible Ada

Ecozon@: European Journal of Literature, Culture and Environment
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy