Results 11 to 20 of about 94 (76)
Programming Languages and Systems [PDF]
, 2021 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
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator [PDF]
, 2004 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 +2 more sources
Logic program specialisation through partial deduction: Control Issues [PDF]
, 2002 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 +2 more sources
Programming Languages and Systems [PDF]
, 2020 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
Specializing interpreters using offline partial deduction
, 2003 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 +2 more sources
, 2020 Design of Cyber-Physical Systems (CPSs) involves overlapping the domains of control theory, network communication, and computational algorithms. Involving multiple domains within the same design greatly increases the system complexity.
Bunting, Matt Robert
core +4 more sources
Free Variable as Effect, in Practice [PDF]
, 2023 Variable environment is the time-honored way of making sense of free variables, used in programming language theory as well when writing interpreters and some compilers. Algebraic effects give another way, as was pointed already at HOPE 2017.
Kiselyov, Oleg
core
How functional programming mattered [PDF]
, 2015 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
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing [PDF]
, 1994 Algebraic specifications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly defined by an algebraic specification can be ...
Tip, Frank, Tip, F. (Frank), Frank Tip
core +1 more source
IMPLEMENTASI PERATURAN PERUNDANG-UNDANGAN TERHADAP PEMENUHAN HAK HUKUM PENYANDANG DISABILITAS DALAM PROSES PERADILAN (STUDI DI PENGADILAN NEGERI YOGYAKARTA) [PDF]
, 2022 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 +1 more source