7 citations
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 7 cited
Verifying Graph Programs with First-Order Logic
Gia S. Wulandari, Detlef Plump
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph…
cs.CY2020★ 5 cited
Why Does Cultural Diversity Foster Technology-enabled Intergenerational Collaboration?
Irawan Nurhas, Bayu Rima Aditya, Stefan Geisler +1
Globalization and information technology enable people to join the movement of global citizenship and work without borders. However, different type of barriers existed that could a…