Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
program expression » program expressing, program compression, program suppression
expression array » expression arrays, expression assay, expression assays
program held » programs held, programme held, programs help
held program » help program, field program, child program
https » http
program expression » program expressing, program compression, program suppression
expression array » expression arrays, expression assay, expression assays
program held » programs held, programme held, programs help
held program » help program, field program, child program
https » http
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Pubblicazione 2010
Sommario:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Testo
Elettronico
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Pubblicazione 2008
Sommario:
“... Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! -- Regular Expression Subtyping for XML...”Testo
Elettronico
eBook
3
Pubblicazione 2013
Sommario:
“...Exception Handling for Error Reporting in Parsing Expression Grammars -- LuaRocks - A Declarative...”Testo
Elettronico
eBook
4
Pubblicazione 2014
Sommario:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”Testo
Elettronico
eBook
5
Pubblicazione 2008
Sommario:
“... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”Testo
Elettronico
eBook
6
Pubblicazione 2008
Sommario:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”Testo
Elettronico
eBook
7
Pubblicazione 2013
Sommario:
“... of Regular Expressions -- Research Papers -- Dealing with Symmetries in Modal Tableaux -- Tableaux...”Testo
Elettronico
eBook
8
Pubblicazione 2007
Sommario:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Testo
Elettronico
eBook
9
Pubblicazione 2008
Sommario:
“... Common Substrings Via Suffix Arrays -- Logic and Rational Languages of Words Indexed by Linear Orderings...”Testo
Elettronico
eBook
10
Pubblicazione 2014
Sommario:
“... for Vehicular Ad-hoc Networks -- A Study on Expressiveness of a Class of Array Token Petri Nets -- Non-dominated...”Testo
Elettronico
eBook
11
Pubblicazione 2013
Sommario:
“... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”Testo
Elettronico
eBook
12
Pubblicazione 2005
Sommario:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”Testo
Elettronico
eBook