A Frame Stack Semantics for Sequential Core Erlang.

Péter Bereczky Dániel Horpácsi Simon J. Thompson

Published in: CoRR (2023)

Keyphrases

logic programming
video frames
formal semantics
operational semantics
neural network
database
semantic information
graphical representation
sequential search
measurement data
frame rate
conceptual model
parallel algorithm
wordnet
domain knowledge
relational databases
web services