Wyniki wyszukiwania:

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints,...

This is a collection of 24 revised full papers selected from a total of 94 submissions, presented at the Third Asian Computing Science Conference, held in Nepal in 1997. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations and ten posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification and parallel processing.