Results 1 to 10 of about 175 (174)
Programming Languages and Systems [PDF]
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
core +1 more source
Programming Languages and Systems [PDF]
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software ...
core +1 more source
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
Accepted in Rule-based Programming Workshop, 2000, 16 ...
Yong Xiao, Zena M. Ariola, Michel Mauny
openaire +2 more sources
Tina, an Interpreter for Interpreting Compilation Theory
The traditional C, C ++, Java compiler system are large and integrate a large number of libraries and frameworks, allowing developers to use conveniently, are not conducive to understand the compiler theory and technology. In this paper, aiming at the above problems, we research a simple structure of code compiler technology, developed a simple ...
Chao FANG, Lian-he YANG
openaire +2 more sources
How functional programming mattered [PDF]
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is
Hu, Z. J. +10 more
core +1 more source
Specializing interpreters using offline partial deduction
We present the latest version of the LOGEN partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.
Craig, Stephen +9 more
core +1 more source
IMPLEMENTASI PERATURAN PERUNDANG-UNDANGAN TERHADAP PEMENUHAN HAK HUKUM PENYANDANG DISABILITAS DALAM PROSES PERADILAN (STUDI DI PENGADILAN NEGERI YOGYAKARTA) [PDF]
The readiness of an institution becomes very important in law enforcement of a law of a law. The court as one of the law enforcement agencies is expected to provide justice for anyone who faces the law, including people with disabilities.
Rustinar, NIM.: 18103040119
core
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Vanhoof, Wim; id_orcid +5 more
core +1 more source
Logic program specialisation through partial deduction: Control Issues
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core +1 more source
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source

