Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Journal of Logical and Algebraic Methods in Programming 6 found (11 total)
alternate case: journal of Logical and Algebraic Methods in Programming
Session type
(876 words)
[view diff]
exact match in snippet
view article
find links to article
2018). "Multiparty session types, beyond duality". Journal of Logical and Algebraic Methods in Programming. 97: 55–84. doi:10.1016/j.jlamp.2018.01.001. hdl:10044/1/56777
List of model checking tools
(1,176 words)
[view diff]
exact match in snippet
view article
find links to article
turntable system using Spin, CADP and Uppaal" (PDF). Journal of Logical and Algebraic Methods in Programming. 65 (2): 51–104. doi:10.1016/j.jlap.2005.05.001
Relation algebra
(2,541 words)
[view diff]
exact match in snippet
view article
find links to article
programming language using the Ampersand compiler, Journal of Logical and Algebraic Methods in Programming, Volume 100, April 2018, Pages 113–129. (see also
Software design pattern
(2,825 words)
[view diff]
exact match in snippet
view article
find links to article
session-based type system for Elixir modules". Journal of Logical and Algebraic Methods in Programming. 135. doi:10.1016/j.jlamp.2023.100891. S2CID 251442539
Reactive programming
(3,431 words)
[view diff]
exact match in snippet
view article
find links to article
programming language using the Ampersand compiler", Journal of Logical and Algebraic Methods in Programming, vol. 100, pp. 113–29, doi:10.1016/j.jlamp.2018
Halting problem
(7,195 words)
[view diff]
exact match in snippet
view article
find links to article
(June 2021). "The origins of the halting problem". Journal of Logical and Algebraic Methods in Programming. 121: 100687. doi:10.1016/j.jlamp.2021.100687.