Languages
Shao, Zhong.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Programming languages and systems23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(1998 :); Shao, Zhong.; SpringerLink (Online service)
(Electronic resources)
Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(1998 :); Jouannaud, Jean-Pierre.; Shao, Zhong.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Computer science
Computer Science.
Symbolic and Algebraic Manipulation.