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 online resource (254 p.) |
| Soggetto topico | Biology, life sciences |
| Soggetto non controllato |
?s
additional chromosomes Apodemus peninsulae B chromosome B chromosomes B morphotypes centromere chromosome evolution chromosome polymorphism controlling element coverage ratio analysis cytogenetics de novo centromere formation DNA composition DNA copy number variation dot-like (micro) Bs drive Drosophila epigenetics euchromatin degradation evolution extra chromosomes FISH (fluorescence in situ hybridisation) fluorescent in situ hybridization genes genome evolution genome instability genomics GISH (genomic in situ hybridisation) grasshoppers heterochromatin host/parasite interaction inactivation interphase nucleus karyotype evolution karyotypes karyotypic characteristics maize B chromosome mammals maternal X chromosome microdissected DNA probes mobile element n/a next-generation sequencing organelle DNA origin Orthoptera parent-of-origin effects paternal X chromosome population analysis Prospero autumnale complex reactivation repeat clusters RepeatExplorer repetitive DNA repetitive elements ribosomal DNA RNA-Seq satellite DNA sSMC supernumerary supernumerary chromosomal segments (SCS) evolution supernumerary chromosome supernumerary chromosomes supernumerary elements tandem repeats teleost transcription of heterochromatin transmission whole genome resequencing |
| 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 | ||
| ||