Languages
Ong, Luke.
Overview
| Works: | 737 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
Ong, Luke.; Queiroz, Ruy.; SpringerLink (Online service)
(Electronic resources)
Foundations of software science and computational structures = 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
Ong, Luke.; SpringerLink (Online service); FOSSACS 2010 ((2010 :)
(Language materials, printed)
Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings /
by:
Duan, Zhenhua.; Ong, Luke.; SpringerLink (Online service); International Conference on Formal Engineering Methods (2017 :)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer logic
Formal methods (Computer science)
Computer software- Congresses.
Computer Science.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.