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