|
Conferences in DBLP
Session types for linear multithreaded functional programming. [Citation Graph (, )][DBLP]
Scrap your boilerplate: prologically! [Citation Graph (, )][DBLP]
Automatic refactoring of Erlang programs. [Citation Graph (, )][DBLP]
Model-checking higher-order functions. [Citation Graph (, )][DBLP]
A dynamically customizable process-centered evaluation model. [Citation Graph (, )][DBLP]
A higher-order logical framework for the algorithmic debugging and verification of declarative programs. [Citation Graph (, )][DBLP]
Alternation as a programming paradigm. [Citation Graph (, )][DBLP]
Set functions for functional logic programming. [Citation Graph (, )][DBLP]
Reasoning with hypothetical judgments and open terms in hybrid. [Citation Graph (, )][DBLP]
An Isabelle/HOL-based model of stratego-like traversal strategies. [Citation Graph (, )][DBLP]
Making induction manifest in modular ACL2. [Citation Graph (, )][DBLP]
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. [Citation Graph (, )][DBLP]
Algorithmic specifications in linear logic with subexponentials. [Citation Graph (, )][DBLP]
A logical framework for configuration software. [Citation Graph (, )][DBLP]
A declarative semantics for Bousi~Prolog. [Citation Graph (, )][DBLP]
Path-sensitive region analysis for mercury programs. [Citation Graph (, )][DBLP]
An embedded declarative data transformation language. [Citation Graph (, )][DBLP]
L2C2: logic-based LSC consistency checking. [Citation Graph (, )][DBLP]
Future contracts. [Citation Graph (, )][DBLP]
A framework for abstract interpretation of timed concurrent constraint programs. [Citation Graph (, )][DBLP]
Foundations of session types. [Citation Graph (, )][DBLP]
The RPC calculus. [Citation Graph (, )][DBLP]
Language support for processing distributed ad hoc data. [Citation Graph (, )][DBLP]
A declarative encoding of telecommunications feature subscription in SAT. [Citation Graph (, )][DBLP]
On the expressive power of priorities in CHR. [Citation Graph (, )][DBLP]
Dependent type inference with interpolants. [Citation Graph (, )][DBLP]
Context-based proofs of termination for typed delimited-control operators. [Citation Graph (, )][DBLP]
Relational semantics for effect-based program transformations: higher-order store. [Citation Graph (, )][DBLP]
|