λ Δ -Models

@inproceedings{Rocca2004,
  title={λ Δ -Models},
  author={S. Rocca and Luca Paolini},
  year={2004}
}
To study the operational behaviour of λ-terms, we will use the denotational (mathematical) approach. A denotational semantics for a language is based on the choice of a space of semantics values, or denotations, where terms are to be interpreted. Choosing a space with nice mathematical properties can help in proving the semantic properties of terms, since to this aim standard mathematical techniques can be used. 
816 Citations
Abstract interpretation of resolution-based semantics
  • 6
  • PDF
A new framework for declarative programming
  • 16
  • PDF
Forward engineering and early model validation with Smalltalk
  • PDF
Probabilistic Models
  • 33
  • PDF
The Tao of Modeling Spaces
  • 47
  • PDF
Recycling Proof Patterns in Coq: Case Studies
  • 19
  • Highly Influenced
  • PDF
Generating Java Code from UML Class and Sequence Diagrams
  • 25
TRANSACTION LEVEL MODELING WITH UML AND SYSTEMC
  • PDF
...
1
2
3
4
5
...