Travelled to:1 × Denmark
1 × USA
Collaborated with:∅ P.A.Collier
Talks about:semant (2) denot (2) implement (1) standard (1) generat (1) specif (1) code (1)
Person: Martin R. Raskovsky
DBLP: Raskovsky:Martin_R=
Contributed to:
1982
1980Wrote 2 papers:
- SCC-1982-Raskovsky #code generation #semantics #specification
- Denotational Semantics as a Specification of Code Generators (MRR), pp. 230–244.
- SDCG-1980-RaskovskyC #implementation #semantics #standard
- From standard to implementation denotational semantics (MRR, PAC), pp. 94–139.