Discover open access scientific publications

Search, annotate, share and cite publications

Publications by David Luckham

Programming With Specifications

English

Related publications

EAGLE: Efficient Active Learning of Link Specifications Using Genetic Programming

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel

Proceedings of the Institute for System Programming of RAS

English

Transition System Specifications With Negative Premises

English

Development of Secured Systems by Mixing Programs, Specifications and Proofs in an Object-Oriented Programming Environment

English

ENABLING OR DISABLING WITH OLD SPECIFICATIONS - A New Information System Based on Old Specifications

English

International Asset Pricing With Alternative Distributional Specifications

Journal of Empirical Finance

English

Women With Diabetes—Two Specifications Mean Double Trouble

US Endocrinology

English

Symbolic Synthesis for Epistemic Specifications With Observational Semantics

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A Specification Translation From Behavioral Specifications to Rewrite Specifications

IEICE Transactions on Information and Systems

Electronic Engineering

Pattern Recognition

Computer Vision

Artificial Intelligence

English