Filters








142,348 Hits in 4.7 sec

An Introduction to Certificate Translation [chapter]

Gilles Barthe, César Kunz
2009 Lecture Notes in Computer Science  
To connect source code verification and compiled code certification we have proposed a technique to build, from a certificate of the source program, a certificate for the result of its compilation.  ...  In this tutorial, we illustrate the principles of this technique, certificate translation, in the context of a certified quicksort algorithm.  ...  Introduction Certificate translation [2, 4] is a general method that reconciles interactive verification of source programs with automated verification of compiled programs, using certificates as a means  ... 
doi:10.1007/978-3-642-03829-7_2 fatcat:rf5dt6uq5rf5pi3is7n3mwbtwi

Introduction

Alan K. Melby
2013 Translation and Interpreting : the International Journal of Translation and Interpreting Research  
certification is used instead, and accreditation is used to refer to the process of determining whether an organization that certifies translators and/or interpreters has met the requirements of ISO 17024  ...  One thing that everyone seems to agree on is that even an indepth knowledge of translation theory is not sufficient to demonstrate professional competence.  ...  Others promote the signing of work by translators and translation companies as an alternative to certification.  ... 
doi:10.12807/ti.105201.2013.r01 fatcat:2l3ghjkmynckdncgo3yashk3qe

Proof Outlines as Proof Certificates: A System Description

Roberto Blanco, Dale Miller
2015 Electronic Proceedings in Theoretical Computer Science  
We apply the foundational proof certificate (FPC) framework to the problem of designing high-level outlines of proofs.  ...  A focused proof system is central to this framework and such a proof system provides an interesting approach to proof reconstruction during the process of proof checking (relying on an underlying logic  ...  It could also let a user of ship specify an FPC definition to be included in the resulting translation, or generate tentative certificates with rules involving other FPC definitions.  ... 
doi:10.4204/eptcs.197.2 fatcat:m66kjtenzba27olkx627wourue

TŁUMACZENIE POŚWIADCZONE CHIŃSKICH AKTÓW I POŚWIADCZEŃ NOTARIALNYCH

Karolina WANG
2015 Comparative Legilinguistics  
Introduction The aim of this paper is to examine Chinese notarial certificates in the light of requirements of sworn translation.  ...  a short introduction concerning the status of sworn translation in Poland.  ... 
doi:10.14746/cl.2015.23.02 fatcat:spqqguy24jbczbmwrylomn6fb4

ADAPTATION OF AMERICAN EXPERIENCE IN TRAINING MASTERS IN TECHNICAL TRANSLATION TO UKRAINIAN UNIVERSITIES

Oksana Strelchenko
2015 GISAP Educational Sciences  
Translation, German to English Technical Translation Four of these courses are required The whole course begins with the main subject -German to English: An Introduction to Translation This course provides  ...  Patents Translation, German to English Translating Computer Related Material, German to English Medical Translation, Introduction to CAT and Terminology Management, Computer-Modules Credits MA  ... 
doi:10.18007/gisap:es.v0i8.1176 fatcat:awssggrbybeynkccacr6f2jp3e

Certificate Translation for Optimizing Compilers [chapter]

Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
2006 Lecture Notes in Computer Science  
Certificate Translation: informal definition and setting The primary goal of certificate translation is to transform certificates of sourcelanguage programs into certificates of compiled programs.  ...  The article outlines the principles of certificate translation, instantiated for a non optimizing compiler and for standard compiler optimizations in the context of an intermediate RTL Language.  ...  The main contributions are: -an introduction of certificate translation as a means to extend significantly the scope of PCC to complex security policies; -the classification of certificate translation  ... 
doi:10.1007/11823230_20 fatcat:5jkwom4rpbddbb36r6yv6qufoy

Certificate translation for optimizing compilers

Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
2009 ACM Transactions on Programming Languages and Systems  
Certificate Translation: informal definition and setting The primary goal of certificate translation is to transform certificates of sourcelanguage programs into certificates of compiled programs.  ...  The article outlines the principles of certificate translation, instantiated for a non optimizing compiler and for standard compiler optimizations in the context of an intermediate RTL Language.  ...  The main contributions are: -an introduction of certificate translation as a means to extend significantly the scope of PCC to complex security policies; -the classification of certificate translation  ... 
doi:10.1145/1538917.1538919 fatcat:zdkciueauvfmjngxhynzobzoha

Translators and Interpreters Certification in Australia, Canada, the Usа and Ukraine: Comparative Analysis

Kateryna Skyba
2014 Comparative Professional Pedagogy  
The article presents an overview of the certification process by which potential translators and interpreters demonstrate minimum standards of performance to warrant official or professional recognition  ...  The aim of the study is to research and to compare the certification procedures of translators and interpreters in Australia, Canada, the USA and Ukraine; to outline possible avenues of creating a certification  ...  There are five ways to gain NAATI certification: passing a NAATI accreditation test; successful completion of a course of studies in translation and/or interpreting at an Australian institution as approved  ... 
doi:10.2478/rpp-2014-0036 fatcat:yn45nclm7zggniqgq56q4exbr4

Signal Jamming in the Translation Market and the Complementary Roles of Certification and Diplomas in Developing Multilateral Signaling Mechanisms

Andy Lung Jan Chan
2013 Translation and Interpreting : the International Journal of Translation and Interpreting Research  
In order to overcome this jam and provide more consistent signaling, translator-training programs and professional associations offering certification need to collaborate more closely to harmonize their  ...  Certification and educational diplomas serve to reduce the resulting information asymmetry, but both suffer from potential drawbacks: translator training programs are currently oversupplying the market  ...  Education Qualification: An Alternative to Translator Certification as an Effective Signal?  ... 
doi:10.12807/ti.105201.2013.a11 fatcat:ra2q3ewfzbf3let2p33gcn72u4

DIMENSIONS OF TRAINING OF THE PROSPECTIVE MASTERS OF TRANSLATION IN THE UNIVERSITIES OF CANADA: CONTENT AND ADVANCED IDEAS

Yuliia Holovatska, Tetiana Tsepeniuk
2020 Людинознавчі студії: Серія Педагогіка  
The article presents an analysis of the system of professional training of future translators in Canadian universities at Master's degree level.  ...  According to the analysis their differences have been highlighted and the progressive ideas of the foreign experience have been proposed to be implemented in Ukrainian higher education.  ...  Introduction The globalization processes in all the spheres of human activity have led to an increasing role of foreign language communication.  ... 
doi:10.24919/2413-2039.11/43.220433 fatcat:qogvazmbljdxhlubfhfpqsglvm

Recenzja książki Artura Dariusza KUBACKIEGO "WYBÓR DOKUMENTÓW AUSTRIACKICH DLA KANDYDATÓW NA TŁUMACZY PRZYSIĘGŁYCH. AUSWAHL ÖSTERREICHISCHER DOKUMENTE FÜR KANDIDATEN ZUM BEEIDETEN ÜBERSETZER/DOLMETSCHER"

Ida SKUBIS
2015 Comparative Legilinguistics  
The introduction is followed by considerations about the pluricentricity of German language in translation process.  ...  The knowledge gained by Artur Kubacki as an expert member of the Polish Society of Sworn and Specialised Translators (TEPIS) as well as a member of the Polish Translators and Interpreters Association (  ... 
doi:10.14746/cl.2015.24.07 fatcat:vyjff4u7snfyrfmq24lm6cdoqa

Welcome to the Real World: Professional-Level Translator Certification

Geoffrey Koby, Gertrud Champe
2013 Translation and Interpreting : the International Journal of Translation and Interpreting Research  
This article is intended not only to document the ATA translator certification program but also to provide a basis for discussions between ATA and other associations that have translator certification  ...  This article provides a comprehensive and up-to-date description of the American Translators Association (ATA) translator certification program.  ...  Introduction "Toto, I've a feeling we're not in Kansas anymore."  ... 
doi:10.12807/ti.105201.2013.a09 fatcat:ez5codb7djexpnh3ivn4uri5qm

The TransCert Project: Ensuring That Transnational Translator Certification Meets Stakeholder Needs

Gerhard Budin, Zita Krajsco, Arle Lommel
2013 Translation and Interpreting : the International Journal of Translation and Interpreting Research  
Certification of translators is intended to play an important role as a signal to various stakeholders (including translation companies, buyers of translation services, academic institutions, translators  ...  the value of certification in the marketplace as an economic signaling device.  ...  Examinations or test translations are seen as an alternative to certification, especially for LSPs working in highly specialized domains.  ... 
doi:10.12807/ti.105201.2013.a08 fatcat:fkoqvsmd4rgidcmhx5igqqztii

nestor Seal & TRUST

Micky Lindlar
2021 Zenodo  
The 5 minute talk answers, after a short introduction of TIB and it's relationship to nestor Seal and TRUST, the following questions that were given to all presenters: Introduction of the certification  ...  standard (slide 3) Current Use of the certification standard (slide 4) Relationship between the certification standard and TRUST (slide 5) Initial thoughts on a mapping between the certification standard  ...  Introduction of TIB and our certification history  Who are we ?  ... 
doi:10.5281/zenodo.5679759 fatcat:6vdekqdmvjc47g6tydhcwiwoy4

An Abstract Model of Certificate Translation

Gilles Barthe, César Kunz
2011 ACM Transactions on Programming Languages and Systems  
There is thus an interest in developing methods to reuse certificates generated for source code to provide strong guarantees of the compiled code correctness.  ...  Certificate translation is a method to transform certificates of program correctness along semantically justified program transformations.  ...  In this section we briefly review ghost variable introduction [Barthe et al. 2009 ], an alternative certificate translation technique in the presence of dead variable elimination.  ... 
doi:10.1145/1985342.1985344 fatcat:lehjihgxojh4poggyovzmhz4sa
« Previous Showing results 1 — 15 out of 142,348 results