الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
program verifier » program series
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
program verifier » program series
function https » functions https, fiction https
1
منشور في 2013
جدول المحتويات:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
بواسطة Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
منشور في 2007
جدول المحتويات:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”منشور في 2007
احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
منشور في 2010
جدول المحتويات:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
منشور في 2015
جدول المحتويات:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2006
جدول المحتويات:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2012
جدول المحتويات:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
منشور في 2007
جدول المحتويات:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2014
جدول المحتويات:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
منشور في 2014
جدول المحتويات:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
منشور في 2013
جدول المحتويات:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2007
جدول المحتويات:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
منشور في 2013
جدول المحتويات:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2007
جدول المحتويات:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2007
جدول المحتويات:
“...Verifying Temporal Properties of CommUnity Designs -- Precise Scenarios – A Customer-Friendly...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2007
جدول المحتويات:
“... and Refinement-Preserving Logic -- Slicing Abstractions -- Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme...”احصل على النص الكامل
الكتروني
كتاب الكتروني