jats-ug/translate — pull request #4 by dif-engine (2014-06-14 02:36:22+00:00)
Title: Update SPPSV-padl05.md

A heavy-weighted approach is to adopt a type system in which highly sophisticated
properties on programs can be captured.

の訳文