Languages
Shao, Zhong.
Overview
| Works: | 25 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Programming languages and systems = 23rd 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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Shao, Zhong.; SpringerLink (Online service)
(Language materials, printed)
Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
Shao, Zhong.; Workshop on the Preservation of Stability under Discretization ((2001 :); Jouannaud, Jean-Pierre.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer Science.
Programming Techniques.
Symbolic and Algebraic Manipulation.
Programming Languages, Compilers, Interpreters.
Computer programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Computation by Abstract Devices.
Programming languages (Electronic computers)