skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục
Lọc theo: Dạng tài nguyên: Khác xóa Tác giả/ người sáng tác: Demetrescu, Camil xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Khác
Thêm vào Góc nghiên cứu

Front Matter, Table of Contents

Demetrescu, Camil ; Flatt, Matthew; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.0

Toàn văn sẵn có

2
Material Type:
Khác
Thêm vào Góc nghiên cứu

TreatJS: Higher-Order Contracts for JavaScript (Artifact)

Keil, Matthias ; Thiemann, Peter; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.1

Toàn văn sẵn có

3
Material Type:
Khác
Thêm vào Góc nghiên cứu

Transparent Object Proxies for JavaScript (Artifact)

Keil, Matthias ; Guria, Sankha Narayan ; Schlegel, Andreas ; Geffken, Manuel ; Thiemann, Peter; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.2

Toàn văn sẵn có

4
Material Type:
Khác
Thêm vào Góc nghiên cứu

A Theory of Tagged Objects (Artifact)

Lee, Joseph ; Aldrich, Jonathan ; Shaw, Troy ; Potanin, Alex ; Chung, Benjamin; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.3

Toàn văn sẵn có

5
Material Type:
Khác
Thêm vào Góc nghiên cứu

Brand Objects for Nominal Typing (Artifact)

Jones, Timothy ; Homer, Michael ; Noble, James; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.4

Toàn văn sẵn có

6
Material Type:
Khác
Thêm vào Góc nghiên cứu

Optimization Coaching for JavaScript (Artifact)

St-Amour, Vincent ; Guo, Shu-yu; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.5

Toàn văn sẵn có

7
Material Type:
Khác
Thêm vào Góc nghiên cứu

The Eureka Programming Model for Speculative Task Parallelism (Artifact)

Imam, Shams ; Sarkar, Vivek; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.6

Toàn văn sẵn có

8
Material Type:
Khác
Thêm vào Góc nghiên cứu

The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact)

Medeiros, Flávio ; Kästner, Christian ; Ribeiro, Márcio ; Nadi, Sarah ; Gheyi, Rohit; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.7

Toàn văn sẵn có

9
Material Type:
Khác
Thêm vào Góc nghiên cứu

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)

Shinnar, Avraham ; Siméon, Jérôme ; Hirzel, Martin; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.8

Toàn văn sẵn có

10
Material Type:
Khác
Thêm vào Góc nghiên cứu

Streams à la carte: Extensible Pipelines with Object Algebras (Artifact)

Biboudis, Aggelos ; Palladinos, Nick ; Fourtounis, George ; Smaragdakis, Yannis; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.9

Toàn văn sẵn có

11
Material Type:
Khác
Thêm vào Góc nghiên cứu

Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)

Schwerhoff, Malte ; Summers, Alexander J.; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.10

Toàn văn sẵn có

12
Material Type:
Khác
Thêm vào Góc nghiên cứu

Framework for Static Analysis of PHP Applications (Artifact)

Hauzar, David ; Kofron, Jan; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.11

Toàn văn sẵn có

13
Material Type:
Khác
Thêm vào Góc nghiên cứu

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)

Park, Changhee ; Ryu, Sukyoung; Demetrescu, Camil

DOI: 10.4230/DARTS.1.1.12

Toàn văn sẵn có

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. Demetrescu, Camil
  2. Keil, Matthias
  3. Thiemann, Peter
  4. Siméon, Jérôme
  5. Ribeiro, Márcio

Đang tìm Cơ sở dữ liệu bên ngoài...