kb.pub

Research - Musharof Chy

عرض 1 - 4 من 4 الشركات

A Practical Subtyping System For Erlang

Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

140 مشاهدات
٢٥ يناير ٢٠٢٥

HiPE

High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala Universi...

155 مشاهدات
٢٥ يناير ٢٠٢٥

Project Plan: Process structure extraction from ERLANG /OTP systems

An ongoing research project at Uppsala University.

431 مشاهدات
٢٥ يناير ٢٠٢٥

Model checking

Model checking Erlang code through formal methods.

297 مشاهدات
٢٥ يناير ٢٠٢٥