Gibbons, Jeremy.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Functional and logic programming = 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024 : proceedings /
by:
Gibbons, Jeremy.; SpringerLink (Online service); International Symposium on Functional and Logic Programming (2024 :); Miller, Dale.
(Electronic resources)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
Gibbons, Jeremy.; SpringerLink (Online service)
(Electronic resources)
Foundations of health information engineering and systems = third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers /
by:
Gibbons, Jeremy.; MacCaull, Wendy.; SpringerLink (Online service)
(Electronic resources)
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
Gibbons, Jeremy.; SpringerLink (Online service); International Summer School on Bidirectional Transformations ((2016 :); Stevens, Perdita.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Science, general.
Logics and Meanings of Programs.
Medical informatics
Software Engineering/Programming and Operating Systems.
Programming Language.
Programming Techniques.
Data Structures.
Information Systems Applications (incl. Internet)
Database Management.
Management of Computing and Information Systems.
Logic programming
Programming Languages, Compilers, Interpreters.
Health Informatics.
Computer Science Logic and Foundations of Programming.
Generic programming (Computer science)
Functional programming (Computer science)
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Transformations (Mathematics)
Computer System Implementation.