Search alternatives:
translating » translational
Cover Image
Read Now

1
by Konrad, Karsten
Published 2004
Springer Berlin Heidelberg
Subjects: “...Translators (Computer programs)...”
Cover Image
Read Now

2
Published 1977
Springer Berlin Heidelberg
Table of Contents: “..., dereferencing and assignment -- Complexity of some problems concerning L systems -- Left-fitting translations...”
Cover Image
Read Now

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Learning translation invariant recognition in a massively parallel networks -- Trace theory...”
Cover Image
Read Now

4
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class...”
Cover Image
Read Now

5
by Crespi Reghizzi, Stefano
Published 2009
Springer London
Table of Contents: “... -- Bottom-Up and General Parsing -- Translation Semantics and Static Analysis...”
Cover Image
Read Now

6
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Derivability in Locally Quantified Modal Logics via Translation in Set Theory -- ?-Calculus...”
Cover Image
Read Now

7
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...Superimposition for interacting processes -- An implementation of a translational semantics...”
Cover Image
Read Now

8
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Abstraction in a Program Logic Calculus -- Mechanised Translation of Control Law Diagrams into Circus...”
Cover Image
Read Now

9
by Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

10
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... and breadth-first search in digraphs -- Greibach normal form transformation, revisited -- Translating regular...”
Cover Image
Read Now

11
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Networks -- Session: Non-software Domains -- Translating Hardware Process Algebras into Standard Process...”
Cover Image
Read Now

12
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Translating FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models...”
Cover Image
Read Now

13
by O'Hearn, Peter, Tennent, Robert
Published 1997
Birkhäuser
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

14
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- The Translation Power of the Futamura Projections -- A Compiler Generator for Constraint Logic Programs...”
Cover Image
Read Now

15
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... and program refinement -- AC-equation solving -- On the operational interpretation of complex types -- Tense...”
Cover Image
Read Now

16
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata...”
Cover Image
Read Now

17
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”
Cover Image
Read Now

18
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis...”
Cover Image
Read Now

19
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... to associate rewards with EMPA terms -- A semantics preserving actor translation -- Periodic and non-periodic...”
Cover Image
Read Now

20
Published 2007
Springer Berlin Heidelberg
Subjects: “...Compilers and Interpreters...”