Languages
Shao, Zhong.
Overview
| Works: | 24 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)
Symbolic and Algebraic Manipulation.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Computation by Abstract Devices.