Filters








168,993 Hits in 7.0 sec

A slicing-based approach for locating type errors

F. Tip, T. B. Dinesh
2001 ACM Transactions on Software Engineering and Methodology  
We present an approach where the location associated with an error message e is defined as a slice P e of the program P being type-checked.  ...  Our approach is completely language-independent and has been implemented for a significant subset of Pascal. We also report on experiments with object-oriented type systems, and with a subset of ML.  ...  ACKNOWLEDGMENTS We are grateful to the anonymous referees for many helpful suggestions.  ... 
doi:10.1145/366378.366379 fatcat:ykizr3ul6baq7nmvmz6a26h4sq

A Case Study of a Slicing-Based Approach for Locating Type Errors

T. B. Dinesh, Frank Tip
1997 unpublished
We propose the use of dynamic dependence tracking for tracking positional information. In this approach, a slice of the program being type checked is associated with each type error.  ...  Type checkers have been specified in ASF+SDF for many languages, using a variety of specification styles.  ...  Thus, when a list is indeed unique, the function no-dups does not match. Conclusions We presented a slicing-based approach for determining locations of type errors in [11] .  ... 
doi:10.14236/ewic/al1997.8 fatcat:d3ybxlyhnzgybpqu3r2rgf2xti

Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes [article]

Dirk Beyer, Stefan Löwe, Philipp Wendler
2015 arXiv   pre-print
We take as input the given infeasible error path and apply a slicing technique to obtain a set of error paths that are more abstract than the original error path but still infeasible, each for a different  ...  For example, we can select based on domain types of variables in the interpolants, prefer to avoid loop counters, or compare with templates for potential loop invariants, and thus control what kind of  ...  In the following, we present detailed results for the effectiveness of our approach for a value analysis with the heuristic based on domain types. V.  ... 
arXiv:1502.00045v1 fatcat:vmpn7jgnancntodys7t6yzbk2u

Type debugging with counter-factual type error messages using an existing type checker

Kanae Tsushima, Olaf Chitil, Joanna Sharrad
2019 Proceedings of the 31st Symposium on Implementation and Application of Functional Languages  
Users are advised to check http://kar.kent.ac.uk for the status of the paper. Users should always cite the published version of record.  ...  First, it obtains a type error slice using slicing. Because L slice includes the locations of a type error slice, we can use L \ L_slice for obtaining a type error slice using pierce.  ...  Therefore, our improved approach is the following. First we obtain a type error slice p slice . Any non-empty subset of p slice is p cft of p slice .  ... 
doi:10.1145/3412932.3412939 fatcat:f77hwxykpvhftbdbzhswcfnmau

An error resilient coding scheme for H.26L video transmission based on data embedding

Sheng-Wei Lin, Jin-Jang Leou, Li-Wei Kang
2004 Journal of Visual Communication and Image Representation  
As compared with some recent error resilient approaches based on data embedding, in this study, the important data selection mechanism for different types of MBs, the detailed data embedding mechanism,  ...  For an H.264/AVC inter-coded P frame, two types of important data with different error recovery capabilities for each MB are extracted and embedded into the next frame by the proposed MB-interleaving slice-based  ...  slice-based data embedding scheme and the odd-even data embedding scheme are used together to provide a more reliable mechanism for data embedding. (3) For a P frame, two types (Type-I and Type-II) of  ... 
doi:10.1016/j.jvcir.2003.10.002 fatcat:a3rsihh52fbathcr5znxpwixay

A Short Survey on Using Software Error Localization for Service Compositions [chapter]

Julia Krämer, Heike Wehrheim
2016 Lecture Notes in Computer Science  
Herein, we locate all techniques based on static program slicing as originally introduced by Weiser [46] as well as dynamic slicing.  ...  In this paper, we review state-of-the-art approaches for error localization of software and discuss their applicability to service compositions. 1.) Approaches based on the inspection of test cases.  ...  Both the MaxSMT and the constraint satisfaction encoding lead to a candidate root cause at line 7, which is exactly where the fault is located. □ Another formula-based approach are error invariants [22  ... 
doi:10.1007/978-3-319-44482-6_16 fatcat:5dhzed6aw5hfvcfwxneu2yz574

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection [chapter]

Dirk Beyer, Stefan Löwe, Philipp Wendler
2015 Lecture Notes in Computer Science  
Existing approaches -including our previous work-do not choose the refinement for a given path systematically.  ...  The method takes as input one given infeasible error path and applies a slicing technique to obtain a set of new error paths that are more abstract than the original error path but still infeasible, each  ...  The domain-type score of a sliced prefix is computed based on the domain types [3] of the variables that occur in the precisions, i.e., variables with a boolean character are preferred over loop counters  ... 
doi:10.1007/978-3-319-19195-9_15 fatcat:oenglol6afgp5maqdzw4zqsaty

Locating Faults with Program Slicing: An Empirical Analysis [article]

Ezekiel Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller
2021 arXiv   pre-print
Best results, however, are obtained by a hybrid approach: If programmers first examine at most the top five most suspicious locations from statistical debugging, and then switch to dynamic slices, on average  ...  These findings hold for 18 most effective statistical debugging formulas and our results are independent of the number of faults (i.e. single or multiple faults) and error type (i.e. artificial or real  ...  Acknowledgements We thank the anonymous reviewers for their helpful comments.  ... 
arXiv:2101.03008v1 fatcat:ajhlszdherfghcf7qvji2epsnu

An error resilient coding scheme for H.264/AVC video transmission based on data embedding

Li-Wei Kang, Jin-Jang Leou
2005 Journal of Visual Communication and Image Representation  
As compared with some recent error resilient approaches based on data embedding, in this study, the important data selection mechanism for different types of MBs, the detailed data embedding mechanism,  ...  For an H.264/AVC inter-coded P frame, two types of important data with different error recovery capabilities for each MB are extracted and embedded into the next frame by the proposed MB-interleaving slice-based  ...  MB-interleaving slice-based data embedding scheme will be better than those of recent error resilient approaches based on data embedding [22] - [23] .  ... 
doi:10.1016/j.jvcir.2004.04.003 fatcat:6zwdpj2js5gabattlphl7om7qa

Improving Error Messages in Type System

Cynthia Kustanto, Yukiyoshi Kameyama
2010 IPSJ Online Transactions  
We propose a type inference algorithm for a polymorphic type system which provides improved error messages.  ...  While the standard type inference algorithms often produce unnecessarily long or incomplete error messages, our algorithm provides relevant and complete information for type errors.  ...  Compared to Haack and Wells' approach, our algorithm computes all the error locations simultaneously, without artificially breaking them into several slices for every pair of conflicting types.  ... 
doi:10.2197/ipsjtrans.3.125 fatcat:2sxd2lwyirhwddipjmpfantotq

A new method to improve accuracy of leakage current estimation for transistors with non-rectangular gates due to sub-wavelength lithography effects

Kuen-Yu Tsai, Meng-Fu You, Yi-Chang Lu, Philip C. W. Ng
2008 2008 IEEE/ACM International Conference on Computer-Aided Design  
In this paper, TCAD device simulations are utilized to quantify the accuracy of a standard equivalent gate length extraction approach for non-rectangular transistors.  ...  A new EGL extraction method utilizing location-dependent weighting factors and convex parameter extraction techniques is proposed to account for the current density non-uniformity.  ...  A new location-dependentweighting approach has been proposed to compensate the leakage current variation due to the edge effects.  ... 
doi:10.1109/iccad.2008.4681587 dblp:conf/iccad/TsaiYLN08 fatcat:d3rt65s7pzfnvaz5amldvo2dpm

Type error slicing in implicitly typed higher-order languages

Christian Haack, J.B. Wells
2004 Science of Computer Programming  
We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error.  ...  We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML.  ...  They propose to present type error locations as program slices, but have no notation for slices.  ... 
doi:10.1016/j.scico.2004.01.004 fatcat:jtyzj3bmqbaa3ns425gmsv6s6q

A Morphology-Based Approach for Interslice Interpolation of Anatomical Slices From Volumetric Images

A.B. Albu, T. Beugeling, D. Laurendeau
2008 IEEE Transactions on Biomedical Engineering  
This paper proposes a new morphology-based approach for the interslice interpolation of current transformer (CT) and MRI datasets composed of parallel slices.  ...  One iteration of this process computes a transition sequence between a pair of corresponding input slices, and selects the element located at equal distance from the input slices.  ...  .: MORPHOLOGY-BASED APPROACH FOR INTERSLICE INTERPOLATION OF ANATOMICAL SLICES 2035 Fig. 12. Branching cases in CT-type (upper row) and MR-type (lower row) sequences.  ... 
doi:10.1109/tbme.2008.921158 pmid:18632365 fatcat:2fiyzm5ebfayrlmilfztf6nlda

Type Error Slicing in Implicitly Typed Higher-Order Languages [chapter]

Christian Haack, J. B. Wells
2003 Lecture Notes in Computer Science  
We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error.  ...  We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML.  ...  They propose to present type error locations as program slices, but have no notation for slices.  ... 
doi:10.1007/3-540-36575-3_20 fatcat:geffo3irqnhpfnayoqxglv223y

Iterative Error Detection and Correction of H.263 Coded Video for Wireless Networks

E. Khan, S. Lehmann, H. Gunji, M. Ghanbari
2004 IEEE transactions on circuits and systems for video technology (Print)  
Due to the use of variable length code (VLC), a single bit error in the DCT-based coded bitstream such as H.263 may propagate up to the end of the group of block (GOB) or slice.  ...  In this paper, we propose an iterative error detection and correction algorithm for the slice mode of the H.263 bitstreams.  ...  In our scheme, the first type of macroblock is detected during decoding a slice but the other two types are detected after the decoding.  ... 
doi:10.1109/tcsvt.2004.837018 fatcat:lr4ufh3zabd6ti4thdfe47xd6u
« Previous Showing results 1 — 15 out of 168,993 results