Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
properties functionality » protein functionality
functionality function » functionals function, functionaries function, functional functions
java properties » data properties, a properties, fat properties
function https » functions https, fiction https
program java » program jarak, program a, program jom
properties functionality » protein functionality
functionality function » functionals function, functionaries function, functional functions
java properties » data properties, a properties, fat properties
function https » functions https, fiction https
program java » program jarak, program a, program jom
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
3
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”View full text
Electronic
eBook
5
Table of Contents:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text
View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”View full text
Electronic
eBook
9
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”View full text
Electronic
eBook