Languages
Feng, Xinyu.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Programming languages and systems13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(1998 :); Feng, Xinyu.; Park, Sungwoo.; SpringerLink (Online service)
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(1998 :); Feng, Xinyu.; Muller-Olm, Markus.; SpringerLink (Online service); Yang, Zijiang.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming languages (Electronic computers)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.
System Performance and Evaluation.