A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
An Introduction to Certificate Translation
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
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
2013
Translation and Interpreting : the International Journal of Translation and Interpreting Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2015
Comparative Legilinguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2015
GISAP Educational Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Comparative Professional Pedagogy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
Translation and Interpreting : the International Journal of Translation and Interpreting Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Людинознавчі студії: Серія Педагогіка
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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"
2015
Comparative Legilinguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Translation and Interpreting : the International Journal of Translation and Interpreting Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Translation and Interpreting : the International Journal of Translation and Interpreting Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2011
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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