Type Inference and Type Checking for Queries on Execution Traces

Proceedings of the VLDB Endowment - United States
doi 10.14778/1453856.1453898
Full Text
Abstract

Available in full text

Date
Authors
Publisher

VLDB Endowment

Related search

Checking Traces for Regulatory Conformance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Invariant and Type Inference for Matrices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Simple, Partial Type-Inference for System F Based on Type-Containment

2005English

Type Qualifier Inference for Java

2007English

A Core Calculus for Scala Type Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Polymorphic Type Inference for Machine Code

ACM SIGPLAN Notices
Computer Science
2016English

Polymorphic Type Inference for the JNI

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Relational Queries Over Program Traces

ACM SIGPLAN Notices
2005English

Generalized Symbolic Execution for Model Checking and Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy