Results 201 to 204 of about 11,408 (204)
Some of the next articles are maybe not open access.

Abstract Interpretation From a Denotational-semantics Perspective

Electronic Notes in Theoretical Computer Science, 2009
exaly  

Towards Denotational Semantics for Verilog in PVS

2011
exaly  

From algebraic semantics to denotational semantics for Verilog

exaly  

Implementation of denotational semantics:

1991
Mernik, Marjan, Žumer, Viljem
openaire   +1 more source
mathematics
computer science - logic in computer science
computer science - programming languages
16. peace & justice
f.3.2
semantics in the theory of computing
logic
theoretical computer science
computer science all
previous   19  20  21  

Home - About - Disclaimer - Privacy