Konstantinos Sagonas - Veröffentlichungen allgemein

(1 - 8 von 8

)

Abstract

www.cs.yorku.ca

Erik Johansson, Mikael Pettersson and Konstantinos Sagonas. To appear at the 2nd International Conference on Principles and Practice of Declarative ... › ppdp-00

Demand-Driven Indexing of Prolog Clauses | SpringerLink

link.springer.com

As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multi-argument...

Abstractwww.cs.yorku.ca › ppdp00

www.cs.yorku.ca

A High Performance Erlang System. Erik Johansson, Mikael Pettersson and Konstantinos Sagonas. To appear at the 2nd International Conference on Principles ...

Static Detection of Race Conditions in Erlang | SpringerLink

link.springer.com

We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely...

Using Static Analysis to Detect Type Errors and Concurrency ...link.springer.com › chapter

link.springer.com

Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. Authors; Authors and affiliations. Konstantinos Sagonas. Konstantinos ...

Static Analysis | SpringerLink

link.springer.com

No description available for this conference proceedings

Verwandte Suchanfragen zu Konstantinos Sagonas

Simon Thompson

Personen
Vorname "Konstantinos" (1691)
Name "Sagonas" (2)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Konstantinos Sagonas

Abstract

Demand-Driven Indexing of Prolog Clauses | SpringerLink

Abstractwww.cs.yorku.ca › ppdp00

Static Detection of Race Conditions in Erlang | SpringerLink

Using Static Analysis to Detect Type Errors and Concurrency ...link.springer.com › chapter

Static Analysis | SpringerLink