Languages
Hankin, Chris.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Programming languages and systems7th European Symposium on Programming, ESOP'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings /
by:
(1998 :); Hankin, Chris.; SpringerLink (Online service)
(Electronic resources)
Static Analysis12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(1998 :); Hankin, Chris.; Siveroni, Igor.; SpringerLink (Online service)
(Electronic resources)
Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
by:
Hankin, Chris.; Hansen, Rene Rydhof.; Probst, Christian W.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Calculus.
Programming Techniques.
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Computer programming
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Semantic computing.
Computer Science.