DENOTATIONAL SEMANTICS
Experts
- Jifeng He
- Huibiao Zhu
- Peter D. Mosses
- Barrett R. Bryant
- Margaret M. Burnett
- Jean E. Sammet
- Jonathan P. Bowen
- Niklaus Wirth
- Manfred Broy
- Marjan Mernik
- Ronald A. Olsson
- Shriram Krishnamurthi
- Ralph E. Griswold
- Peter Selinger
- Federico Bergenti
- Rafael H. Bordini
- Chang-Hyun Jo
- Kim B. Bruce
- Jonathan Aldrich
- Rasmus Ejlers Møgelberg
- Gordon D. Plotkin
- Andreas Stefik
- James Noble
- Dale Miller
- Martin Wirsing
- Egon Börger
- Neil D. Jones
- Albert R. Meyer
- Robert Harper
- Laurie J. Hendren
- Wan J. Fokkink
- Stefania Monica
- José Meseguer
- Kathleen Fisher
- Grigore Rosu
- Robert Bruce Findler
- David Walker
- James Cheney
- Shengchao Qin
Venues
- CoRR
- ACM SIGPLAN Notices
- POPL
- SIGCSE
- Commun. ACM
- Theor. Comput. Sci.
- ESOP
- Electron. Notes Theor. Comput. Sci.
- Softw. Pract. Exp.
- APLAS
- PLDI
- Comput. J.
- Comput. Lang.
- ACM Conference on Computer Science
- Sci. Comput. Program.
- ACM Comput. Surv.
- ACM SIGCSE Bull.
- J. Log. Algebraic Methods Program.
- ACM Trans. Program. Lang. Syst.
- SAC
- IFIP Congress
- ASPLOS
- MFPS
- ACM Annual Conference
- Proc. ACM Program. Lang.
- Acta Informatica
- Computer
- LICS
- VL/HCC
- Inf. Comput.
- J. Funct. Program.
- MFCS
- OOPSLA
- J. ACM
- IEEE Trans. Software Eng.
- OOPSLA Companion
- VL
- SBLP
- Onward!
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend