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: Christakis, Maria; Haller, Philipp; Rapoport, Marianna 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

Static Typing of Complex Presence Constraints in Interfaces (Artifact)

Oostvogels, Nathalie ; De Koster, Joeri ; De Meuter, Wolfgang; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.3

Toàn văn sẵn có

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

KafKa: Gradual Typing for Objects (Artifact)

Chung, Benjamin ; Li, Paley ; Nardelli, Francesco Zappa ; Vitek, Jan; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.10

Toàn văn sẵn có

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

Typed First-Class Traits (Artifact)

Bi, Xuan ; Oliveira, Bruno C. d. S.; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.9

Toàn văn sẵn có

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

Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact)

Mezzetti, Gianluca ; Møller, Anders ; Torp, Martin Toldam; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.8

Toàn văn sẵn có

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

Definite Reference Mutability (Artifact)

Milanova, Ana ; Huang, Wei; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.7

Toàn văn sẵn có

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

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.6

Toàn văn sẵn có

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

The Essence of Nested Composition (Artifact)

Bi, Xuan ; Oliveira, Bruno C. d. S. ; Schrijvers, Tom; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.5

Toàn văn sẵn có

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

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)

Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.4

Toàn văn sẵn có

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

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)

Toman, John ; Grossman, Dan; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.2

Toàn văn sẵn có

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

Dependent Types for Class-based Mutable Objects (Artifact)

Campos, Joana ; Vasconcelos, Vasco T.; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.1

Toàn văn sẵn có

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

Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee

Christakis, Maria ; Haller, Philipp ; Rapoport, Marianna; Christakis, Maria; Haller, Philipp; Rapoport, Marianna

DOI: 10.4230/DARTS.4.3.0

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. Christakis, Maria; Haller, Philipp; Rapoport, Marianna
  2. Oliveira, Bruno C. d. S.
  3. Bi, Xuan
  4. Ali, Karim
  5. Schrijvers, Tom

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