Languages
Ong, Luke.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Foundations of software science and computational structures13th 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:
(1998 :); Ong, Luke.; SpringerLink (Online service)
(Electronic resources)
Formal methods and software engineering19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings /
by:
(1998 :); Duan, Zhenhua.; Ong, Luke.; SpringerLink (Online service)
(Electronic resources)
Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(1998 :); Ong, Luke.; SpringerLink (Online service)
(Electronic resources)
Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(1998 :); Ong, Luke.; Queiroz, Ruy.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Mathematical Logic and Foundations.
Software engineering
Logics and Meanings of Programs.
Lambda calculus
Mathematics of Computing.
Computer software
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer logic
Formal methods (Computer science)
Computer Science.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.