Article

Translation Validation

Authors:

TACAS '98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Pages 151 - 166

Published: 28 March 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Bourke TJeanmaire PPesin BPouzet M(2021)Verified Lustre Normalization with Node SubsamplingACM Transactions on Embedded Computing Systems10.1145/347704120:5s(1-25)Online publication date: 22-Sep-2021
https://dl.acm.org/doi/10.1145/3477041
Bozzano MCimatti ARoveri M(2021)A Comprehensive Approach to On-board Autonomy Verification and ValidationACM Transactions on Intelligent Systems and Technology10.1145/347271512:4(1-29)Online publication date: 20-Aug-2021
https://dl.acm.org/doi/10.1145/3472715
Kasampalis TPark DLin ZAdve VRoşu GSherwood TBerger EKozyrakis C(2021)Language-parametric compiler validation with application to LLVMProceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3445814.3446751(1004-1019)Online publication date: 19-Apr-2021
https://dl.acm.org/doi/10.1145/3445814.3446751
Show More Cited By

Recommendations

Bean soup translation: flexible, linguistically-motivated syntax for machine translation
Dependency treelet translation: the convergence of statistical and example-based machine-translation?

We describe a novel approach to MT that combines the strengths of the two leading corpus-based approaches: Phrasal SMT and EBMT. We use a syntactically informed decoder and reordering model based on the source dependency tree, in combination with ...
Translation Validation: From SIGNAL to C
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Translation validation is an alternative to the verification of translators (compilers, code generators). Rather than proving in advance that the compiler always produces a target code which correctly implements the source code (compiler verification), ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TACAS '98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems

March 1998

455 pages

ISBN:3540643567

Editor:
Bernhard Steffen

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 28 March 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

194
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bourke TJeanmaire PPesin BPouzet M(2021)Verified Lustre Normalization with Node SubsamplingACM Transactions on Embedded Computing Systems10.1145/347704120:5s(1-25)Online publication date: 22-Sep-2021
https://dl.acm.org/doi/10.1145/3477041
Bozzano MCimatti ARoveri M(2021)A Comprehensive Approach to On-board Autonomy Verification and ValidationACM Transactions on Intelligent Systems and Technology10.1145/347271512:4(1-29)Online publication date: 20-Aug-2021
https://dl.acm.org/doi/10.1145/3472715
Kasampalis TPark DLin ZAdve VRoşu GSherwood TBerger EKozyrakis C(2021)Language-parametric compiler validation with application to LLVMProceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3445814.3446751(1004-1019)Online publication date: 19-Apr-2021
https://dl.acm.org/doi/10.1145/3445814.3446751
Ruffy FWang TSivaraman ALu SHowell J(2020)GauntletProceedings of the 14th USENIX Conference on Operating Systems Design and Implementation10.5555/3488766.3488805(683-699)Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.5555/3488766.3488805
Chang YHsiao YLin TTsao CWu CChang YKo HChen YLu SHowell J(2020)Determinizing crash behavior with a verified snapshot-consistent flash translation layerProceedings of the 14th USENIX Conference on Operating Systems Design and Implementation10.5555/3488766.3488771(81-97)Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.5555/3488766.3488771
Gupta SRose ABansal S(2020)Counterexample-guided correlation algorithm for translation validationProceedings of the ACM on Programming Languages10.1145/34282894:OOPSLA(1-29)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428289
Brown FRenner JNötzli ALerner SShacham HStefan DDonaldson ATorlak E(2020)Towards a verified range analysis for JavaScript JITsProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385968(135-150)Online publication date: 11-Jun-2020
https://dl.acm.org/doi/10.1145/3385412.3385968
Dasgupta SDinesh SVenkatesh DAdve VFletcher CDonaldson ATorlak E(2020)Scalable validation of binary liftersProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385964(655-671)Online publication date: 11-Jun-2020
https://dl.acm.org/doi/10.1145/3385412.3385964
Chen JWei JFeng YBastani ODillig I(2019)Relational verification using reinforcement learningProceedings of the ACM on Programming Languages10.1145/33605673:OOPSLA(1-30)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360567
Kapus TIsh-Shalom OItzhaky SRinetzky NCadar CMcKinley KFisher K(2019)Computing summaries of string loops in C for better testing and refactoringProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314610(874-888)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1145/3314221.3314610
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

Bean soup translation: flexible, linguistically-motivated syntax for machine translation

Dependency treelet translation: the convergence of statistical and example-based machine-translation?

Translation Validation: From SIGNAL to C

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations