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.
Model Checking Software [[electronic resource] ] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg
| Model Checking Software [[electronic resource] ] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 343 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Software Engineering Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-85114-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Residual Checking of Safety Properties -- The Case for Context-Bounded Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program Properties -- Using Dynamic Symbolic Execution to Improve Deductive Verification -- Regular Papers -- Automated Evaluation of Secure Route Discovery in MANET Protocols -- Model Checking Abstract Components within Concrete Software Environments -- Generating Compact MTBDD-Representations from Probmela Specifications -- Dynamic Delayed Duplicate Detection for External Memory Model Checking -- State Focusing: Lazy Abstraction for the Mu-Calculus -- Efficient Modeling of Concurrent Systems in BMC -- Tackling Large Verification Problems with the Swarm Tool -- Formal Verification of a Flash Memory Device Driver – An Experience Report -- Layered Duplicate Detection in External-Memory Model Checking -- Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes -- Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems -- Resource-Aware Verification Using Randomized Exploration of Large State Spaces -- Incremental Hashing for Spin -- Verifying Compiler Based Refinement of Bluespec TM Specifications Using the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient Stateful Dynamic Partial Order Reduction -- Symbolic String Verification: An Automata-Based Approach -- Verifying Multi-threaded C Programs with SPIN. |
| Record Nr. | UNISA-996465859603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg
| Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 343 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Software Engineering Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-85114-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Residual Checking of Safety Properties -- The Case for Context-Bounded Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program Properties -- Using Dynamic Symbolic Execution to Improve Deductive Verification -- Regular Papers -- Automated Evaluation of Secure Route Discovery in MANET Protocols -- Model Checking Abstract Components within Concrete Software Environments -- Generating Compact MTBDD-Representations from Probmela Specifications -- Dynamic Delayed Duplicate Detection for External Memory Model Checking -- State Focusing: Lazy Abstraction for the Mu-Calculus -- Efficient Modeling of Concurrent Systems in BMC -- Tackling Large Verification Problems with the Swarm Tool -- Formal Verification of a Flash Memory Device Driver – An Experience Report -- Layered Duplicate Detection in External-Memory Model Checking -- Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes -- Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems -- Resource-Aware Verification Using Randomized Exploration of Large State Spaces -- Incremental Hashing for Spin -- Verifying Compiler Based Refinement of Bluespec TM Specifications Using the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient Stateful Dynamic Partial Order Reduction -- Symbolic String Verification: An Automata-Based Approach -- Verifying Multi-threaded C Programs with SPIN. |
| Record Nr. | UNINA-9910483843303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday / / edited by Rajkishore Barik, Rajiv Gupta, Jens Palsberg
| Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday / / edited by Rajkishore Barik, Rajiv Gupta, Jens Palsberg |
| Autore | Barik Rajkishore |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (196 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
GuptaRajiv
PalsbergJens |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Theory of Computation Software Engineering |
| ISBN | 3-031-97492-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Retrieving Unknown SMT Formulas via Structural Mutations -- On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud -- A Formal Model for Portable, Heterogeneous Accelerator Programming -- Evaluation of Speedup and Energy with Multigrain Parallelizing Compiler -- Hidden assumptions in static verification of data-race free GPU programs -- Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism -- Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting -- Learning to harness in-vitro biological neural networks -- Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation -- Scalable Small Message Aggregation on Modern Interconnects -- Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models. |
| Record Nr. | UNINA-9911011817203321 |
Barik Rajkishore
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday / / edited by Rajkishore Barik, Rajiv Gupta, Jens Palsberg
| Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday / / edited by Rajkishore Barik, Rajiv Gupta, Jens Palsberg |
| Autore | Barik Rajkishore |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (196 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
GuptaRajiv
PalsbergJens |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Theory of Computation Software Engineering |
| ISBN | 3-031-97492-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Retrieving Unknown SMT Formulas via Structural Mutations -- On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud -- A Formal Model for Portable, Heterogeneous Accelerator Programming -- Evaluation of Speedup and Energy with Multigrain Parallelizing Compiler -- Hidden assumptions in static verification of data-race free GPU programs -- Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism -- Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting -- Learning to harness in-vitro biological neural networks -- Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation -- Scalable Small Message Aggregation on Modern Interconnects -- Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models. |
| Record Nr. | UNISA-996664550603316 |
|
Barik Rajkishore
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 2012 ACM SIGPLAN X10 Workshop
| Proceedings of the 2012 ACM SIGPLAN X10 Workshop |
| Autore | Hind Michael |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (46 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Electrical & Computer Engineering
Engineering & Applied Sciences Telecommunications |
| ISBN | 1-4503-1491-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 2012 Association for Computing Machinery Special Interest Group on Programming Languages X10 Workshop |
| Record Nr. | UNINA-9910376143703321 |
|
Hind Michael
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantics and Algebraic Specification [[electronic resource] ] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / / edited by Jens Palsberg
| Semantics and Algebraic Specification [[electronic resource] ] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / / edited by Jens Palsberg |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 409 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Machine theory Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-642-04164-7 |
| Classificazione |
DAT 510f
DAT 557f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tribute to Peter Mosses -- Action Semantics in Retrospect -- Component-Based Security Policy Design with Colored Petri Nets -- Order-Sorted Parameterization and Induction -- An Implementation of Object-Oriented Action Semantics in Maude -- A Constructive Semantics for Basic Aspect Constructs -- Structural Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model Transformations -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines -- Type Checking Evolving Languages with MSOS -- Action Algebras and Model Algebras in Denotational Semantics -- Mobile Processes and Termination -- An Action Semantics Based on Two Combinators -- Converting between Combinatory Reduction Systems and Big Step Semantics -- Model-Based Testing and the UML Testing Profile -- A Complete, Co-inductive Syntactic Theory of Sequential Control and State -- Vertical Object Layout and Compression for Fixed Heaps. |
| Record Nr. | UNISA-996465292903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / / Jens Palsberg (ed.)
| Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / / Jens Palsberg (ed.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (X, 409 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | PalsbergJens |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Abstract data types (Computer science)
Algebra Semantics |
| ISBN | 3-642-04164-7 |
| Classificazione |
DAT 510f
DAT 557f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tribute to Peter Mosses -- Action Semantics in Retrospect -- Component-Based Security Policy Design with Colored Petri Nets -- Order-Sorted Parameterization and Induction -- An Implementation of Object-Oriented Action Semantics in Maude -- A Constructive Semantics for Basic Aspect Constructs -- Structural Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model Transformations -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines -- Type Checking Evolving Languages with MSOS -- Action Algebras and Model Algebras in Denotational Semantics -- Mobile Processes and Termination -- An Action Semantics Based on Two Combinators -- Converting between Combinatory Reduction Systems and Big Step Semantics -- Model-Based Testing and the UML Testing Profile -- A Complete, Co-inductive Syntactic Theory of Sequential Control and State -- Vertical Object Layout and Compression for Fixed Heaps. |
| Record Nr. | UNINA-9910483541703321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Static Analysis [[electronic resource] ] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / / edited by Jens Palsberg, Zhendong Su
| Static Analysis [[electronic resource] ] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / / edited by Jens Palsberg, Zhendong Su |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN |
1-280-38313-5
9786613561053 3-642-03237-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algorithmic Program Synthesis with Partial Programs and Decision Procedures -- Algorithmic Verification of Systems Software Using SMT Solvers -- Contributed Papers -- Abstraction Refinement for Quantified Array Assertions -- Inferring Dataflow Properties of User Defined Table Processors -- Polymorphic Fractional Capabilities -- Automatic Parallelization and Optimization of Programs by Proof Rewriting -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO Replacement -- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination -- Increasing the Scope and Resolution of Interprocedural Static Single Assignment -- Region Analysis for Race Detection -- Bottom-Up Shape Analysis -- The Complexity of Andersen’s Analysis in Practice -- Optimizing Pointer Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology -- Creating Transformations for Matrix Obfuscation -- Abstract Interpretation from a Topological Perspective -- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships -- Invariant Checking for Programs with Procedure Calls -- Inter-program Properties. |
| Record Nr. | UNISA-996465283503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Static analysis : 16th International symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings / / Jens Palsberg, Zhendong Su (eds.)
| Static analysis : 16th International symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings / / Jens Palsberg, Zhendong Su (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) |
PalsbergJens
SuZhendong |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN |
1-280-38313-5
9786613561053 3-642-03237-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algorithmic Program Synthesis with Partial Programs and Decision Procedures -- Algorithmic Verification of Systems Software Using SMT Solvers -- Contributed Papers -- Abstraction Refinement for Quantified Array Assertions -- Inferring Dataflow Properties of User Defined Table Processors -- Polymorphic Fractional Capabilities -- Automatic Parallelization and Optimization of Programs by Proof Rewriting -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO Replacement -- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination -- Increasing the Scope and Resolution of Interprocedural Static Single Assignment -- Region Analysis for Race Detection -- Bottom-Up Shape Analysis -- The Complexity of Andersen’s Analysis in Practice -- Optimizing Pointer Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology -- Creating Transformations for Matrix Obfuscation -- Abstract Interpretation from a Topological Perspective -- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships -- Invariant Checking for Programs with Procedure Calls -- Inter-program Properties. |
| Altri titoli varianti | SAS 2009 |
| Record Nr. | UNINA-9910484724803321 |
| Berlin ; ; New York, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Static Analysis [[electronic resource] ] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / / edited by Jens Palsberg
| Static Analysis [[electronic resource] ] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / / edited by Jens Palsberg |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 433 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Computer programming Mathematical logic Software engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-45099-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Enforcing Design Constraints with Object Logic -- Model Checking as Constraint Solving -- Contributed Papers -- Abstract Interpretation Based Semantics of Sequent Calculi -- A Transformational Approach for Generating Non-linear Invariants -- Deriving Parallel Codes via Invariants -- Safety of Strictness Analysis via Term Graph Rewriting -- Checking Cleanness in Linked Lists -- Confidentiality Analysis of Mobile Systems -- Unified Analysis of Array and Object References in Strongly Typed Languages -- Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C -- Efficient Inference of Static Types for Java Bytecode -- Abstract Interpretation of Game Properties -- FULLDOC: A Full Reporting Debugger for Optimized Code -- Partial Redundancy Elimination on Predicated Code -- TVLA: A System for Implementing Static Analyses -- Tree Schemata and Fair Termination -- Abstract Interpretation of Probabilistic Semantics -- Code Specialization Based on Value Profiles -- Flattening Is an Improvement -- Model Checking Guided Abstraction and Analysis -- Abstract Domains for Sharing Analysis by Optimal Semantics -- Concurrency Analysis for Java. |
| Record Nr. | UNISA-996465833203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
