Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interpretation specification » interpretation verification, interpretation identification, interpretation kitschification
specification programming » verification programming, identification programming, specification program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
interpretation specification » interpretation verification, interpretation identification, interpretation kitschification
specification programming » verification programming, identification programming, specification program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Published 2015
Table of Contents:
“... and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A...”View full text
Electronic
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”View full text
Electronic
eBook
6
Table of Contents:
“...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
View full text
View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”View full text
Electronic
eBook
8
Table of Contents:
“...Abstract Machines -- How to Describe a Programming Language -- Foundations -- Names...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Specification Using the B Method....”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
20
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook