Results 1 to 10 of about 6,133 (182)
Creative principles of Mykola Manoilo’s vocal pedagogy
Problems of Interaction Between Arts, Pedagogy and the Theory and Practice of Education, 2021 Statement of the problem. The article is devoted to the outstanding figure of vocal art of Slobozhanshchyna Mykola Fedorovych Manoilo (1927–1998), the opera singer, who was awarded the title of “People’s Artist of the USSR” (1976) for impeccable ...
Markovych Mykhailo
semanticscholar +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
Towards modular compilers for effects [PDF]
, 2012 Compilers are traditionally factorised into a number of separate phases, such as parsing, type checking, code generation, etc. However, there is another potential factorisation that has received comparatively little attention: the treatment of separate ...
D.A. Schmidt +7 more
core +2 more sources
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]
, 2010 The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
A. Peymandoust +56 more
core +3 more sources
, 1996 . Abstract interpretation has been widely used for verifying properties of computer systems. Here, we present a way to extend this framework to the case of probabilistic systems.
Michael Monerau, Patrick Cousot
core +1 more source
Link-time smart card code hardening [PDF]
, 2015 This paper presents a feasibility study to protect smart card software against fault-injection attacks by means of link-time code rewriting. This approach avoids the drawbacks of source code hardening, avoids the need for manual assembly writing, and is ...
De Bosschere, Koen +3 more
core +1 more source
Domain-Specific Symbolic Compilation [PDF]
, 2017 A symbolic compiler translates a program to symbolic constraints, automatically reducing model checking and synthesis to constraint solving. We show that new applications of constraint solving require domain-specific encodings that yield the required ...
+3 more
core +1 more source
Specializing Interpreters using Offline Partial Deduction [PDF]
, 2004 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.We show how to achieve Jones ...
A. Lakhotia +37 more
core +2 more sources
Speculative Staging for Interpreter Optimization [PDF]
, 2013 Interpreters have a bad reputation for having lower performance than just-in-time compilers. We present a new way of building high performance interpreters that is particularly effective for executing dynamically typed programming languages. The key idea
Brunthaler, Stefan
core
Differentially Testing Soundness and Precision of Program Analyzers
, 2018 In the last decades, numerous program analyzers have been developed both by academia and industry. Despite their abundance however, there is currently no systematic way of comparing the effectiveness of different analyzers on arbitrary code.
Amato Gianluca +16 more
core +1 more source