Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Johannsen, Jacob"'
Autor:
Nagaraj, Vaivaswatha, Johannsen, Jacob, Trunov, Anton, Pîrlea, George, Kumar, Amrit, Sergey, Ilya
Scilla is a higher-order polymorphic typed intermediate level language for implementing smart contracts. In this talk, we describe a Scilla compiler targeting LLVM, with a focus on mapping Scilla types, values, and its functional language constructs
Externí odkaz:
http://arxiv.org/abs/2008.05555
Publikováno v:
EPTCS 183, 2015, pp. 18-32
We define a compilation scheme for a constructor-based, strongly-sequential, graph rewriting system which shortcuts some needed steps. The object code is another constructor-based graph rewriting system. This system is normalizing for the original sy
Externí odkaz:
http://arxiv.org/abs/1505.07162
Autor:
Johannsen, Jacob
Publikováno v:
Johannsen, J 2015, On Computational Small Steps and Big Steps : Refocusing for Outermost Reduction . Department of Computer Science, Aarhus University .
We study the relationship between small-step semantics, big-step semantics and abstract machines, for programming languages that employ an outermost reduction strategy, i.e., languages where reductions near the root of the abstract syntax tree are pe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ba60b48fa978e207fdb1e674c3f8611d
https://pure.au.dk/ws/files/86391423/Jacob_Johannsen_dissertation.pdf
https://pure.au.dk/ws/files/86391423/Jacob_Johannsen_dissertation.pdf
Autor:
Danvy, Olivier, Johannsen, Jacob
Publikováno v:
Danvy, O & Johannsen, J 2014, From Outermost Reduction Semantics to Abstract Machine . in G Gupta & R Ricardo Peña (eds), 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 : Revised Selected Papers . Springer VS, Lecture Notes in Computer Science, vol. 8901, pp. 91-98, Madrid, Spain, 18/09/2013 . https://doi.org/10.1007/978-3-319-14125-1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::837d9229f2325b6f1c53ae7abde2d367
https://pure.au.dk/portal/da/publications/from-outermost-reduction-semantics-to-abstract-machine(2dec88b7-5558-401c-864c-150422d3c340).html
https://pure.au.dk/portal/da/publications/from-outermost-reduction-semantics-to-abstract-machine(2dec88b7-5558-401c-864c-150422d3c340).html
Autor:
Danvy, Olivier, Johannsen, Jacob
Publikováno v:
Danvy, O & Johannsen, J 2008, ' Inter-deriving Semantic Artifacts for Object-Oriented Programming ', Lecture Notes in Computer Science, pp. 1-16 .
We present a new abstract machine for Abadi and Cardelli's untyped calculus of objects. What is special about this semantic artifact (i.e., man-made construct) is that is mechanically corresponds to both the reduction semantics (i.e., small-step oper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::f4d6c636b5c2c7f1fb246d0748cab22e
https://pure.au.dk/portal/da/publications/interderiving-semantic-artifacts-for-objectoriented-programming(73cae4e0-ee1a-11dd-8f9a-000ea68e967b).html
https://pure.au.dk/portal/da/publications/interderiving-semantic-artifacts-for-objectoriented-programming(73cae4e0-ee1a-11dd-8f9a-000ea68e967b).html
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 20th ACM SIGPLAN Workshop: Partial Evaluation & Program Manipulation; 1/24/2011, p1-12, 12p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.