Languages
Poernomo, Iman Hafiz.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Component-based software engineering = 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
Poernomo, Iman Hafiz.; Lewis, Grace A.; Congress on Progress and Controversies in Oncological Urology (2000:); Hofmeister, Christine.; SpringerLink (Online service)
(Electronic resources)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
SpringerLink (Online service); Crossley, John Newsome.; Wirsing, Martin.; Poernomo, Iman Hafiz.
(Electronic resources)
Subjects
Software Engineering.
Software Engineering/Programming and Operating Systems.
Functional programming (Computer science)
Curry-Howard isomorphism.
Logic, Symbolic and mathematical.
Abstract data types (Computer science)
Lambda calculus.
Proof theory.
Logic Design.
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Component software
Performance and Reliability.