Mathematics of program construction : second international conference : Oxford, U. K., June 29 - July 3, 1992 : proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.) |
Autore | International conference on the mathematics of program construction : <2. : ; 1992 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
Descrizione fisica | VIII, 378 p. ; 24 cm |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico |
Elaboratori elettronici - Programmazione - Congressi - 1992
Logica matematica - Congressi - 1992 |
ISBN |
0387566252
3540566252 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013032 |
International conference on the mathematics of program construction : <2. : ; 1992
![]() |
||
Berlin [etc.], : Springer, c1993 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Mathematics of Program Construction [[electronic resource] ] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / / edited by Jeremy Gibbons, Pablo Nogueira |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 363 p. 57 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Software engineering Computer science—Mathematics Discrete mathematics Compilers (Computer programs) Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Discrete Mathematics in Computer Science Compilers and Interpreters Mathematical Applications in Computer Science |
ISBN | 3-642-31113-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465519603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XI, 255 p. 47 illus.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Artificial intelligence Application software Computer organization Logics and Meanings of Programs Artificial Intelligence Computer Applications Computer Systems Organization and Communication Networks |
ISBN | 3-030-58920-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996418302203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model-Based Safety and Assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XI, 255 p. 47 illus.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Artificial intelligence Application software Computer organization Logics and Meanings of Programs Artificial Intelligence Computer Applications Computer Systems Organization and Communication Networks |
ISBN | 3-030-58920-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910427719403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / / edited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 380 p. 236 illus., 101 illus. in color.) |
Disciplina |
005.1
005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer science
Software engineering Computers, Special purpose Computer systems Microprogramming Data protection Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Data and Information Security |
ISBN | 3-030-32872-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Safety Models and Languages -- Dependability Analysis Process -- Safety Assessment -- Safety Assessment in Automotive Industry -- AI in Safety Assessment. . |
Record Nr. | UNINA-9910349273503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Perspectives of Systems Informatics [[electronic resource] ] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers / / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIV, 411 p. 130 illus.) |
Disciplina | 005.1015113 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer logic
Programming languages (Electronic computers) Software engineering Computer programming Algorithms Optical data processing Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Algorithm Analysis and Problem Complexity Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-642-29709-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465412703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology / / François Guimbretière, Michael Bernstein, Katharina Reinecke, editors |
Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2019 |
Descrizione fisica | 1 online resource (1229 pages) : illustrations |
Disciplina | 005.1015113 |
Collana | ACM international conference proceedings series |
Soggetto topico |
Computer software
Interactive computer systems User interfaces (Computer systems) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910412063303321 |
New York, NY : , : Association for Computing Machinery, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Program Specification [[electronic resource] ] : Proceedings of a Workshop Aarhus, Denmark, August 1981 / / edited by J. Staunstrup |
Edizione | [1st ed. 1982.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 |
Descrizione fisica | 1 online resource (VI, 426 p.) |
Disciplina | 005.1015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Software engineering Logics and Meanings of Programs Software Engineering |
ISBN | 3-540-39176-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1: Geometrical constructions -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 3: Communication network -- Example 3: Communication network -- Partial correctness of distributed programs -- Specification of distributed programs -- Robust data types -- A reduction specification for DTL -- Recursive definitions of operations in universal algebras -- The SRDL specification experiment -- Program specification by module trees -- Parameter passing in algebraic specification languages -- A few remarks on putting formal specifications to productive use -- A specification language -- Tecton: A language for manipulating generic objects -- Concurrency -- Workshop on program specification -- List of participants. |
Record Nr. | UNISA-996466342303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reachability Problems [[electronic resource] ] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / / edited by Alain Finkel, Jerome Leroux, Igor Potapov |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 149 p. 31 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Compilers (Computer programs) Algorithms Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Theory of Computation |
ISBN | 3-642-33512-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification -- Finite- and infinite-state concurrent systems -- Computational models -- Decision procedures. |
Record Nr. | UNISA-996465865703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|