Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

Longer titles found: Denotational semantics of the Actor model (view)

searching for Denotational semantics 11 found (104 total)

alternate case: denotational semantics

Modal μ-calculus (1,799 words) [view diff] exact match in snippet view article find links to article

ϕ{\displaystyle \phi } in bound variable Z{\displaystyle Z}; see the denotational semantics below for details. Models of (propositional) μ-calculus are given
Programming Computable Functions (871 words) [view diff] case mismatch in snippet view article find links to article
Ong, C.-H. L. (1995). "Correspondence between Operational and Denotational Semantics: The Full Abstraction Problem for PCF". In Abramsky, S.; Gabbay
Control logic (185 words) [view diff] case mismatch in snippet view article find links to article
Methods for Simulink Stateflow Models" (PDF). Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey
Quasi-quotation (1,220 words) [view diff] case mismatch in snippet view article find links to article
Template processor Preface to the 1981 Revised Edition. What are Denotational Semantics and what are they for?. Allyn and Bacon. 1986. Dowty, D., Wall,
Knaster–Tarski theorem (2,421 words) [view diff] exact match in snippet view article find links to article
functions are used to define program semantics, see Least fixed point § Denotational semantics for an example. Often a more specialized version of the theorem
Expression problem (1,831 words) [view diff] case mismatch in snippet view article find links to article
34: 94–104. doi:10.1145/291251.289432. Cook, William (1989). A Denotational Semantics of Inheritance (PDF) (PhD). Brown University. Flatt, Matthew; Krishnamurthi
Fresh variable (598 words) [view diff] case mismatch in snippet view article find links to article
Univ. of Waterloo. Here: slide 13/26. Michael Färber (Feb 2023). Denotational Semantics and a Fast Interpreter for jq (Technical Report). Univ. of Innsbruck
Randomized algorithm (4,136 words) [view diff] case mismatch in snippet view article find links to article
Lambda Calculus (Markov Chain Semantics, Termination Behavior, and Denotational Semantics)." Springer, 2017. Jon Kleinberg and Éva Tardos. Algorithm Design
Janus (time-reversible computing programming language) (1,393 words) [view diff] exact match in snippet view article
the language semantics in the form of natural semantics and the denotational semantics. The semantics of purely reversible programming languages can also
Finite-state machine (4,535 words) [view diff] case mismatch in snippet view article find links to article
Models" (PDF). sri.com. Retrieved 2018-04-14. Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey
Information algebra (2,244 words) [view diff] exact match in snippet view article find links to article
Laboratory, Programming Research Group Scott, D.S. (1982), "Domains for denotational semantics", in M. Nielsen; E.M. Schmitt (eds.), Automata, Languages and Programming