Byeong-Mo Chang

Available identifiers

zbMath Open chang.byeong-moMaRDI QIDQ688226

List of research outcomes

Publication	Date of Publication	Type
A theory of RPC calculi for client–server model	2019-11-22	Paper
A type and effect system for activation flow of components in Android programs	2014-07-18	Paper
Computational Science and Its Applications – ICCSA 2004	2005-12-23	Paper
Managing the granularity of constraint-based analyses by rule transformation.	2003-01-21	Paper
Static filtering on stratified programs	1994-03-13	Paper
Efficient bottom-up execution of logic programs using abstract interpretation	1993-11-15	Paper

Research outcomes over time

This page was built for person: Byeong-Mo Chang