Zum Inhalt springen

Prinz, Jacob [Verfasser:in]; Kavvos, G. A. [Verfasser:in]; Lampropoulos, Leonidas [Verfasser:in] ; Jacob Prinz and G. A. Kavvos and Leonidas Lampropoulos [Mitwirkende:r]

Deeper Shallow Embeddings

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Kirchner, Daniel [Verfasser:in]

Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Freie Universität Berlin, 2022
Benzmüller, Christoph [Verfasser:in]; Fuenmayor, David [Verfasser:in] ; Christoph Benzmüller and David Fuenmayor [Mitwirkende:r]

Value-Oriented Legal Argumentation in Isabelle/HOL

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Kirchner, Daniel [Verfasser:in] ; male [Mitwirkende:r]; Benzmüller, Christoph [Mitwirkende:r]; Zalta, Edward [Mitwirkende:r]; Leitgeb, Hannes [Mitwirkende:r]

Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Freie Universität Berlin: Refubium (FU Berlin), 2022
Czajka, Lukasz [Verfasser:in] ; Lukasz Czajka [Mitwirkende:r]

A Shallow Embedding of Pure Type Systems into First-Order Logic

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Helin, Joni

Combining Deep and Shallow Embeddings

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2006

Erschienen in: Electronic Notes in Theoretical Computer Science, 164 (2006) 2, Seite 61-79
Leifer, James J.; Milner, Robin

Shallow Linear Action Graphs and their Embeddings

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2002

Erschienen in: Formal Aspects of Computing, 13 (2002) 3-5, Seite 327-340
Leißa, Roland; Boesche, Klaas; Hack, Sebastian; Membarth, Richard; Slusallek, Philipp

Shallow embedding of DSLs via online partial evaluation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2016

Erschienen in: ACM SIGPLAN Notices, 51 (2016) 3, Seite 11-20
Gibbons, Jeremy; Wu, Nicolas

Folding domain-specific languages : deep and shallow embeddings (functional Pearl) : deep and shallow embeddings (functional Pearl)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM SIGPLAN Notices, 49 (2014) 9, Seite 339-347
FUJIMOTO, Kazuhisa; TAKADA, Masanori

A Shallow SNN Model for Embedding Neuromorphic Devices in a Camera for Scalable Video Surveillance Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electronics, Information and Communications Engineers (IEICE), 2023

Erschienen in: IEICE Transactions on Information and Systems, E106.D (2023) 6, Seite 1175-1182
Kaposi, Ambrus; Kovács, András; Kraus, Nicolai

Lecture Notes in Computer Science: Shallow Embedding of Type Theory is Morally Correct

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2019

Erschienen in: Lecture Notes in Computer Science (2019), Seite 329-365
Svenningsson, Josef; Axelsson, Emil

Lecture Notes in Computer Science: Combining Deep and Shallow Embedding for EDSL

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Lecture Notes in Computer Science (2013), Seite 21-36
Myreen, Magnus O.

Interactive Theorem Proving: Functional Programs: Conversions between Deep and Shallow Embeddings

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Interactive Theorem Proving (2012), Seite 412-417
Marić, Filip

Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2010

Erschienen in: Theoretical Computer Science, 411 (2010) 50, Seite 4333-4356
Wildmoser, Martin; Nipkow, Tobias

Lecture Notes in Computer Science: Certifying Machine Code Safety: Shallow Versus Deep Embedding

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science (2004), Seite 305-320
RÖCKL, CHRISTINE; HIRSCHKOFF, DANIEL

A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2003

Erschienen in: Journal of Functional Programming, 13 (2003) 2, Seite 415-451
Attiogbé, J. Christian

Formal Methods and Software Engineering: Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Formal Methods and Software Engineering (2002), Seite 120-131
Coglio, Alessandro

A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2022

Erschienen in: Electronic Proceedings in Theoretical Computer Science, 359 (2022), Seite 168-184
Coglio, Alessandro

A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2022

Erschienen in: Electronic Proceedings in Theoretical Computer Science, 359 (2022), Seite 185-201
Scherr, Maximilian; Chiba, Shigeru

ECOOP 2014 – Object-Oriented Programming: Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2014

Erschienen in: ECOOP 2014 – Object-Oriented Programming (2014), Seite 385-410

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr