Poernomo, Iman Hafiz.
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
by:
Crossley, John Newsome.; Poernomo, Iman Hafiz.; SpringerLink (Online service); Wirsing, Martin.
(書目-電子資源)
Component-based software engineering12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
(1998 :); Hofmeister, Christine.; Lewis, Grace A.; Poernomo, Iman Hafiz.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Software engineering
Software Engineering.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Component software
Programming Techniques.
Abstract data types (Computer science)
Logic Design.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Proof theory.
Functional programming (Computer science)
Lambda calculus.
Performance and Reliability.
Computer Science.
Curry-Howard isomorphism.