Poernomo, Iman Hafiz.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
by:
Crossley, John Newsome.; Poernomo, Iman Hafiz.; SpringerLink (Online service); Wirsing, Martin.
(Electronic resources)
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)
(Electronic resources)
Subjects
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.