Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ESOP '90 [[electronic resource] ] : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings / / edited by Neil Jones
| ESOP '90 [[electronic resource] ] : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings / / edited by Neil Jones |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (IX, 440 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer logic Mathematical logic Software engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-47045-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Types in lambda calculi and programming languages -- Symbolic finite differencing - Part I -- Implementation of an interpreter for a parallel language in centaur -- Automatic autoprojection of higher order recursive equations -- From interpreting to compiling binding times -- Implementing finite-domain constraint logic programming on top of a PROLOG-system with delay-mechanism -- Type inference for action semantics -- On the expressive power of programming languages -- Higher order escape analysis: Optimizing stack allocation in functional program implementations -- Development of concurrent systems by incremental transformation -- Set domains -- Resolution and Type Theory -- A syntactic theory of transparent parameterization -- A backwards analysis for compile-time garbage collection -- Techniques for improving grammar Flow Analysis -- The specificity rule for lazy pattern-matching in ambiguous term rewrite systems -- Graph-based implementation of a functional logic language -- Eureka definitions for free! or Disagreement points for fold/unfold transformations -- Synthesis of eureka predicates for developing logic programs -- Algebraic properties of program integration -- Arity raiser and its use in program specialization -- Complexity analysis for a lazy higher-order language -- On the weak adequacy of branching-time temporal logic -- The value flow graph: A program representation for optimal program transformations -- Type inference and implicit scaling -- Towards the theory of programming in constructive logic. |
| Record Nr. | UNISA-996465624003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolution, Composition and Regulation of Supernumerary B Chromosomes
| Evolution, Composition and Regulation of Supernumerary B Chromosomes |
| Autore | Martins Cesar |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
| Descrizione fisica | 1 electronic resource (254 p.) |
| Soggetto non controllato |
parent-of-origin effects
fluorescent in situ hybridization coverage ratio analysis ribosomal DNA reactivation cytogenetics epigenetics heterochromatin interphase nucleus whole genome resequencing transmission grasshoppers genome instability dot-like (micro) Bs ?s B chromosome supernumerary elements transcription of heterochromatin maternal X chromosome supernumerary chromosome population analysis supernumerary repeat clusters extra chromosomes genes tandem repeats B morphotypes repetitive DNA repetitive elements DNA copy number variation chromosome polymorphism satellite DNA mammals maize B chromosome additional chromosomes inactivation drive B chromosomes FISH (fluorescence in situ hybridisation) organelle DNA Orthoptera origin supernumerary chromosomes karyotype evolution GISH (genomic in situ hybridisation) DNA composition de novo centromere formation genomics paternal X chromosome euchromatin degradation supernumerary chromosomal segments (SCS) evolution centromere sSMC Prospero autumnale complex next-generation sequencing Drosophila host/parasite interaction Apodemus peninsulae genome evolution evolution teleost chromosome evolution microdissected DNA probes controlling element mobile element RNA-Seq karyotypes karyotypic characteristics RepeatExplorer |
| ISBN | 3-03897-787-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346673503321 |
Martins Cesar
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language and Computation [[electronic resource] ] : Festschrift in Honor of Satoru Takasu / / edited by Neil Jones, Masami Hagiya, Masahiko Sato
| Logic, Language and Computation [[electronic resource] ] : Festschrift in Honor of Satoru Takasu / / edited by Neil Jones, Masami Hagiya, Masahiko Sato |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (XIII, 269 p.) |
| Disciplina | 005.1/01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Architecture, Computer Computer logic Programming languages (Electronic computers) Mathematical Logic and Formal Languages Theory of Computation Computer System Implementation Logics and Meanings of Programs Computation by Abstract Devices Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-48391-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lifschitz's logic of calculable numbers and optimizations in program extraction -- On implicit arguments -- A functional system with transfinitely defined types -- The non-deterministic catch and throw mechanism and its subject reduction property -- Conservativeness of ? over ??-calculus -- ML with first-class environments and its type inference algorithm -- A simple proof of the genericity lemma -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem -- On locomorphism in analytical equivalence theory -- Analysis of a software/hardware system by tense arithmetic -- The essence of program transformation by partial evaluation and driving -- Program transformation via contextual assertions -- On coding theorems with modified length functions -- Thirty four comparisons are required to sort 13 items. |
| Record Nr. | UNISA-996466244303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programs as Data Objects [[electronic resource] ] : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 / / edited by Harald Ganzinger, Neil Jones
| Programs as Data Objects [[electronic resource] ] : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 / / edited by Harald Ganzinger, Neil Jones |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (X, 325 p.) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Computer programming Software engineering Logics and Meanings of Programs Programming Techniques Software Engineering |
| ISBN | 3-540-39786-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strictness analysis and polymorphic invariance -- Convergent term rewriting systems can be used for program transformation -- The theory of strictness analysis for higher order functions -- Recognition of generative languages -- Modular first-order specifications of operational semantics -- Logic specification of code generation techniques -- Strictness detection in non-flat domains -- Strictness computation using special ?-expressions -- A relational framework for abstract interpretation -- Expected forms of data flow analyses -- Code generation from two-level denotational meta-languages -- Multilevel functions in Martin-Löf's type theory -- An implementation from a direct semantics definition -- The structure of a self-applicable partial evaluator -- Program transformation by supercompilation -- Listlessness is better than laziness II: Composing listless functions -- From interpreter to compiler: A representational derivation. |
| Record Nr. | UNISA-996465702003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm
| Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 381 p.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-93900-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
| Record Nr. | UNISA-996465955603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm
| Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 381 p.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-93900-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
| Record Nr. | UNINA-9910484590103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||