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