Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org
"Source-to-Source Translation and Software Engineering"
written by David A. Plaisted,
published by Journal of Software Engineering and Applications, Vol.6 No.4A, 2013
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] The creation of puffin, the automatic uncertainty compiler
2021
[2] Towards Puffin: The Creation of an Uncertainty Compiler
arXiv preprint arXiv:2110.10153, 2021
[3] Automated Software Transplantation
2021
[4] A Term-Rewriting Semantics for Imperative Style Programming: Summary
… on Symbolic Computation in Software Science …, 2021
[5] Обработка данных и модельное исследование в индуктивном анализе
2021
[6] Методы трансформации и дедуктивной верификации программы инвертирования списков
Программная инженерия, 2021
[7] Exploiting BSP Abstractions for Compiler Based Optimizations of GPU Applications on multi-GPU Systems
2020
[8] Decompilation and copyright in ideas-the protection of non-literal elements of computer software and the idea/expression dichotomy
2020
[9] Improving mobile app development using transpilers with maintainable outputs
2020
[10] A Term-Rewriting Semantics for Imperative Style Programming
2020
[11] Detection of SQL Injection Vulnerability in Embedded SQL
2020
[12] Reuse of process-based models: automatic transformation into many programming languages and simulation platforms
2020
[13] Дедуктивная верификация программы конкатенации строк с применением обратной трансформации
2019
[14] Обработка ошибок в синтаксическом анализаторе компилятора языка El
2019
[15] Representacao ontologica de frameworks de mapeamento objeto/relacional
2019
[16] Neutralization of Syntax Errors in the Compiler of the Functional-Imperative Language El
2019
[17] SOURCE-TO-SOURCE TRANSLATOR BAHASA PEMROGRAMAN C KE BAHASA PEMROGRAMAN JAVASCRIPT MENGGUNAKAN METODE RULE-BASED …
2018
[18] SOURCE-TO-SOURCE TRANSLATOR BAHASA PEMROGRAMAN C KE BAHASA PEMROGRAMAN JAVASCRIPT MENGGUNAKAN METODE RULE …
2018
[19] Flexible and efficient computation in large data centres
2018
[20] Automatic prevention of buffer overflow vulnerability using candidate code generation
2018
[21] MetaFork: A Compilation Framework for Concurrency Models Targeting Hardware Accelerators
2017
[22] An Investigation Into the Generality of a Graphical Representation of Program Code for Source to Source Translation
2016
[23] The Design and Evaluation of an Interoperable Translation System for Object-Oriented Software Reuse
2016
[24] Implementation of cross-platform web-applications access to system API
2016
[25] Converting an OPC UA software development kit from Java to Delphi.
2016
[26] Реализация кроссплатформенного доступа веб-приложения к системным интерфейсам
2016
[27] An Automata-Theoretic Approach to Open Actor System Verification
Dissertation, 2015
[28] Development of Intermediate Model for Source to Source Conversion
2015
[29] Cross Platform Mobile Development
2015
[30] A Formal Proof of Correctness of Construct Association from PROMELA to Java.
IAENG International Journal of Computer Science, 2015
[31] s2k: A parallel language for streaming text extraction and transformations
2015
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top