0 to make something official or decide to arrange it according to a fixed structure -- 使成为正式;使有固定体系;使定形
These informal gatherings have become increasingly formalized in the last few years. 这些聚会起初很随意,但是在过去几年里变得越来越正式。
They offered me the job, but the contract has not been formalized yet. 他们把工作给了我,但是还没有正式签合同。
All semantics are formalized as big-step operational semantics.
Early workshops were focused mostly on identifying what contexts and ontologies are, and how they can be formalized and exploited.
For the theory to be formalized, this delicate balanced condition has to be more clearly spelled out.
A population hazard model formalizes this conceptualization by ascribing vertical displacement in the population hazard profile to variation in the predictors.
When such an arrangement becomes formalized, the practice of unit-based ethics begins.
Let us first formalize the expansion of free variables.
Most non-monotonic logics aim to formalize this phenomenon of 'default reasoning', but they do so in different ways.
Recently, the use of type systems to formalize protocols has interested many researchers.