Travelled to:2 × USA
Collaborated with:N.A.Lynch ∅ F.Parisi-Presicce
Talks about:program (2) semant (2) preliminari (1) submodul (1) languag (1) between (1) toward (1) theori (1) system (1) specif (1)
Person: Edward K. Blum
DBLP: Blum:Edward_K=
Contributed to:
19771969
1985Wrote 3 papers:
- STOC-1977-LynchB #performance #programming
- Efficient Reducibility Between Programming Systems: Preliminary Report (NAL, EKB), pp. 228–238.
- STOC-1969-Blum69a #compilation #formal method #programming language #semantics #towards
- Towards a Theory of Semantics and Compilers for Programming Languages (EKB), pp. 217–227.
- CAAP-1985-BlumP #semantics #specification
- The Semantics of Shared Submodules Specifications (EKB, FPP), pp. 359–373.