Narrow your search

Library

KU Leuven (5)

Odisee (4)

Thomas More Kempen (4)

Thomas More Mechelen (4)

UCLL (4)

ULB (4)

ULiège (4)

VIVES (4)

UGent (2)

VUB (2)

More...

Resource type

book (7)

digital (1)


Language

English (8)


Year
From To Submit

2022 (2)

2016 (1)

2015 (1)

2014 (2)

2012 (2)

Listing 1 - 8 of 8
Sort by

Book
Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Author:
ISBN: 331947958X 3319479571 Year: 2016 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation. .


Book
Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, proceedings
Authors: ---
ISBN: 3030994600 3030994619 Year: 2022 Publisher: Cham, Switzerland : Springer,


Book
Programming languages and systems : 10th Asian Symposium, APLAS 2012 Kyoto, Japan, December 11-13, 2012 : proceedings
Authors: --- ---
ISSN: 03029743 ISBN: 3642351816 3642351824 Year: 2012 Volume: 7705 Publisher: Heidelberg : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurreny, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.

Keywords

Engineering & Applied Sciences --- Computer Science --- Programming languages (Electronic computers) --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer security. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Logics and Meanings of Programs. --- Systems and Data Security. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Logic design. --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Protection --- Security measures --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming


Book
Programming Languages and Systems : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Authors: --- ---
ISBN: 9783642351822 Year: 2012 Publisher: Berlin Heidelberg Springer Berlin Heidelberg Imprint Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurreny, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.

Keywords


Book
Functional and Logic Programming
Authors: --- ---
ISBN: 9783030994617 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Authors: --- --- --- --- --- et al.
ISBN: 3662444712 3662444704 Year: 2014 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.

Keywords

Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computers. --- Computer Science. --- Software Engineering. --- Computing Methodologies. --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Programming Techniques. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Operating systems --- Programming --- Artificial intelligence. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- High performance computing. --- Object-oriented programming (Computer science) --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers


Digital
Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Authors: --- --- --- --- --- et al.
ISBN: 9783662444719 Year: 2014 Publisher: Berlin, Heidelberg Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.


Book
International Workshop on Context-Oriented Programming, COP '15 : July 5, 2015, Prague, Czech Republic
Authors: --- --- --- ---
ISBN: 145033654X Year: 2015 Publisher: [Place of publication not identified] ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 8 of 8
Sort by