• Suche: Higher-order contracts for JavaScript

Treffer 1 - 20 von 360

1

TreatJS: Higher-Order Contracts for JavaScript
Keil, Matthias ; Thiemann, Peter

Computer Science - Progr... D.2.4
Report
Merkliste
2

TreatJS: Higher-Order Contracts for JavaScript (Artifact)
http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.28 ; Keil, Matthias ; Thiemann, Peter ; et al.

E-Ressource
Merkliste
3

TreatJS: Higher-Order Contracts for JavaScript (Artifact)
Keil, Matthias ; Thiemann, Peter ; Matthias Keil and Peter Thiemann

Higher-Order Contracts JavaScript Proxies
Fachzeitschrift
Merkliste
4

Higher-order contracts for JavaScript
Keil, Roman Matthias

JavaScript
Dissertation
Merkliste
5

Design and evaluation of contracts for gradual typing
Williams, Jack ; Wadler, Philip ; Morris, Garrett

005.1 statically typed program... gradually typed language... gradual typing software contracts JavaScript
Dissertation
Merkliste
6

Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges.
Kezadri Hamiaz, Mounira ; Driss, Maha
Computers (2073-431X); Jun2025, Vol. 14 Issue 6, p226, 49p

MACHINE learning RESEARCH personnel AUDITORS CONTRACTS VOTING BLOCKCHAINS
Fachzeitschrift
Merkliste
7

Prisma: A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
RICHTER, DAVID ; KRETZLER, DAVID ; WEISENBURGER, PASCAL ; et al.
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-41. 41p.

Fachzeitschrift
Merkliste
8

A Survey of Smart Contract Formal Specification and Verification.
TOLMACH, PALINA ; YI LI ; SHANG-WEI LIN ; et al.
ACM Computing Surveys. Sep2022, Vol. 54 Issue 7, p1-38. 38p.

Fachzeitschrift
Merkliste
9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

10

Nessie: automatically testing JavaScript APIs with asynchronous callbacks.
Arteca, Ellen ; Harner, Sebastian ; Pradel, Michael ; et al.
ICSE: International Conference on Software Engineering; 2022, p1494-1505, 12p

JAVASCRIPT programming l... ALGORITHMS TEST generators COMPUTER software LIBRARIES
Konferenz
Merkliste
11

Gas‐centered mutation testing of Ethereum Smart Contracts.
Delgado‐Pérez, Pedro ; Meléndez‐Lapi, Ignacio ; Boubeta‐Puig, Juan
Journal of Software: Evolution & Process; Sep2024, Vol. 36 Issue 9, p1-19, 19p

GENERAL semantics RESEARCH personnel BLOCKCHAINS CONTRACTS GASES
Fachzeitschrift
Merkliste
12

Legally Enforceable Smart-Contract Languages: A Systematic Literature Review.
DWIVEDI, VIMAL ; PATTANAIK, VISHWAJEET ; DEVAL, VIPIN ; et al.
ACM Computing Surveys. Jun2022, Vol. 54 Issue 5, p1-34. 34p.

Fachzeitschrift
Merkliste
13

Logika: the Sireum verification framework.
Robby ; Hatcliff, John ; Belt, Jason
International Journal on Software Tools for Technology Transfer; Oct2025, Vol. 27 Issue 5, p487-510, 24p

FORMAL methods (Computer... SOFTWARE development too... ABSTRACTION (Computer sc... CRITICAL thinking ADAPTIVE computing syste...
Fachzeitschrift
Merkliste
14

Contracts for First-Class Classes.
STRICKLAND, T. STEPHEN ; DIMOULAS, CHRISTOS ; TAKIKAWA, ASUMU ; et al.
ACM Transactions on Programming Languages & Systems. Nov2013, Vol. 35 Issue 3, p11-11:58. 58p.

Fachzeitschrift
Merkliste
15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

Leveraging Learning Strategies at Scale -- Big and Small Changes in a Big IS Course.
Sclarow, Steven ; Raven, A. J. ; Doyle, Mart
Journal of Information Systems Education. Winter2024, Vol. 35 Issue 1, p1-13. 13p.

Fachzeitschrift
Merkliste
17

Decentralized biobanking platform for organoid research networks.
Gross, Marielle ; Dewan, Ananya ; Macis, Mario ; et al.
Frontiers in Blockchain; 2025, p1-21, 21p

ORGANOIDS NON-fungible tokens DATA protection STAKEHOLDER analysis BIOETHICS DIGITAL twin …
Fachzeitschrift
Merkliste
18

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas ; et al.
Journal of the ACM. Feb2024, Vol. 71 Issue 1, p1-59. 59p.

Fachzeitschrift
Merkliste
19

Source code vulnerability detection based on deep learning: a review.
Su, Huading ; Xu, Zhen ; Zhang, Yan ; et al.
Cybersecurity (2523-3246); 1/4/2026, Vol. 9 Issue 1, p1-28, 28p

SOURCE code DEEP learning SOFTWARE frameworks LANGUAGE models FEATURE extraction COMPUTER software securi... …
Fachzeitschrift
Merkliste
20

The interaction of contracts and laziness.
Degen, Markus ; Thiemann, Peter ; Wehr, Stefan
Higher-Order & Symbolic Computation; Mar2012, Vol. 25 Issue 1, p85-125, 41p

FUNCTIONAL programming (... SUBROUTINES (Computer pr... PREDICATE (Logic) ASSERTIONS (Logic) PROGRAMMING language sem... COMPUTER science
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter