Semantic Scholar uses AI to extract papers important to this topic.
We propose Example-Driven Modeling (EDM), an approach that systematically uses explicit examples for eliciting, modeling… Expand Names and name-binding are useful concepts in the theory and practice of formal systems. In this thesis we study them in the… Expand In Memoriam Armando Martin Haeberer.- In Memoriam Armando Martin Haeberer.- Work at UNU/IIST.- UNU and UNU/IIST.- Contract-Based… Expand This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… Expand In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting… Expand rewriting system, 16 irreflexive, 33 weakly irreflexive, 33 with typing, 37, 40 with very weak typing, 40 with weak typing, 40… Expand Interpretation: a Semantic-Based Tool for Program Analysis, in: Handbook of logic in computer science (vol. 4). Oxford University… Expand Abstract Modern database applications require advanced means for modelling system structure and dynamics. Temporal logic has been… Expand ion, compute a type for its body in an extended context; to compute a type for an application, compute types for its left and… Expand On caracterise les forets algebriques dont tous les arbres sont de la forme @a(t, t). On utilise cette caracterisation pour… Expand