A Brief Overview of the Pawns Programming Language von Naish, Lee

Volltext

A model for spectra-based software diagnosis von Naish, Lee, Lee, Hua Jie, Ramamohanarao, Kotagiri

Volltext

Sharing analysis in the Pawns compiler von Naish, Lee

Volltext

Grants are not research outputs von Naish, Lee

Volltext

Transforming floundering into success von NAISH, LEE

Volltext

Spectral‐based fault localization using hyperbolic function von Neelofar, N., Naish, Lee, Ramamohanarao, Kotagiri

Volltext

Negation and Control in Prolog von Naish, Lee

Volltext

Improving spectral‐based fault localization using static analysis von Neelofar, Neelofar, Naish, Lee, Lee, Jason, Ramamohanarao, Kotagiri

Volltext

A Brief Overview of the Pawns Programming Language von Naish, Lee

Volltext bestellen

Sharing Analysis in the Pawns Compiler von Naish, Lee

Volltext bestellen

Grants are not research outputs von Lee Naish

Volltext

Grants are not research outputs von Lee Naish

Volltext

Adtpp: lightweight efficient safe polymorphic algebraic data types for C von Naish, Lee, Schachte, Peter, MacNally, Aleck M.

Volltext

Four-Valued Reasoning and Cyclic Circuits von Gange, Graeme, Horsfall, Benjamin, Naish, Lee, Sondergaard, Harald

Volltext

A three-valued semantics for logic programmers von NAISH, LEE

Volltext

A Brief Overview of the Pawns Programming Language von Naish, Lee

Volltext

Sharing Analysis in the Pawns Compiler von Naish, Lee

Volltext

Truth versus information in logic programming von NAISH, LEE, SØNDERGAARD, HARALD

Volltext

Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting von Benaloh, J., Moran, T., Naish, L., Ramchen, K., Teague, V.

Volltext

Adding equations to NU-Prolog von Naish, Lee

Volltext