127 search results - page 26 / 26 » Object Composition in Scenario-Based Programming |
138
click to vote
JFP
2007
15 years 2 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
173
Voted
TFM
2009
Springer
15 years 9 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...