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.
Algebraic Methodology and Software Technology [[electronic resource] ] : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / / edited by Martin Wirsing, Maurice Nivat
| Algebraic Methodology and Software Technology [[electronic resource] ] : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / / edited by Martin Wirsing, Maurice Nivat |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XIII, 647 p.) |
| Disciplina | 005.1/2/015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer logic Mathematical logic Special purpose computers Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special Purpose and Application-Based Systems |
| ISBN | 3-540-68595-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two industrial trials of formal specification -- Industrial applications of ASF+SDF -- The embedded software of an electricity meter: An experience in using formal methods in an industrial project -- Applying research results in the industrial environment: The case of the TRIO specification language -- Using heterogeneous formal methods in distributed software engineering education -- Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language -- Toward a classification approach to design -- Semantic foundations for embedding HOL in Nuprl -- Free variable tableaux for a many sorted logic with preorders -- Automating induction over mutually recursive functions -- Pushouts of order-sorted algebraic specifications -- A formal framework for modules with state -- Object-oriented implementation of abstract data type specifications -- On the completeness of the equations for the Kleene star in bisimulation -- An equational axiomatization of observation congruence for prefix iteration -- Finite axiom systems for testing preorder and De Simone process languages -- Constructive semantics of Esterel: From theory to practice (abstract) -- Using ghost variables to prove refinement -- Tracing the origins of verification conditions -- Preprocessing for invariant validation -- Formal verification of Signal programs: Application to a power transformer station controller -- The discrete time toolbus -- A study on the specification and verification of performance properties -- Symbolic bisimulation for timed processes -- Approximative analysis by process algebra with graded spatial actions -- Boolean formalism and explanations -- Proving existential termination of normal logic programs -- Programming in Lygon: An overview -- Some characteristics of strong innermost normalization -- On the emergence of properties in component-based systems -- Algebraic view specification -- Towards heterogeneous formal specifications -- A categorical characterization of consistency results -- Algebraic specification of reactive systems -- A model for mobile point-to-point data-flow networks without channel sharing -- Coalgebraic specifications and models of deterministic hybrid systems -- A bounded retransmission protocol for large data packets -- SPECWARE: An advanced environment for the formal development of complex software systems -- Asspegique+ an integrated specification environment providing inter-operability of tools -- Towards integrating algebraic specification and functional programming: the Opal system -- InterACT: An interactive theorem prover for algebraic specifications -- A new proof-manager and graphic interface for the Larch Prover -- TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems -- The ToolBus coordination architecture -- ASD: The action semantic description tools -- Using occurrrence and evolving algebras for the specification of language-based programming tools -- ECHIDNA: A system for manipulating explicit choice higher dimensional automata -- Verification using PEP -- The Fc2tools set -- Programming in Lygon: A system demonstration -- CtCoq: A system presentation -- The Typelab specification and verification environment -- Incremental formalization -- Proplane: A specification development environment -- A logic-based technology to mechanize software components reuse -- TkGofer: A functional GUI library -- ALPHA — A class library for a metamodel based on algebraic graph theory -- Resolution of goals with the functional and logic programming language LPG: Impact of abstract interpretation -- Combining reductions and computations in ReDuX -- Conditional directed narrowing. |
| Record Nr. | UNISA-996465664103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methods: Theory, Tools and Applications [[electronic resource] /] / edited by Martin Wirsing, Jan A. Bergstra
| Algebraic Methods: Theory, Tools and Applications [[electronic resource] /] / edited by Martin Wirsing, Jan A. Bergstra |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 564 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer communication systems Computer logic Software Engineering Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Computer Communication Networks Logics and Meanings of Programs |
| ISBN | 3-540-46758-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic specification a step towards future software engineering -- How to make algebraic specifications more understandable? -- Efficient implementation of an algebraic specification language -- An integrated algebraic approach to the specification of data types, processes and objects -- Software specification by behavioural canons -- An introduction to COLD-K -- A formal specification of INGRES -- The logic MPL? -- Description algebra -- The calculus ?? -- The RAP system as a tool for testing COLD specifications -- A specification of the intel 8085 microprocessor: A case study -- Specification and prototyping of a compiler for a small applicative language -- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype -- ACP? a universal axiom system for process specification -- Modular specifications in process algebra -- An algebraic specification of process algebra, including two examples. |
| Record Nr. | UNISA-996465728003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge [[electronic resource] ] : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings / / edited by Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing
| Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge [[electronic resource] ] : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings / / edited by Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 189 p. 50 illus., 41 illus. in color.) |
| Disciplina | 371.3344678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Education—Data processing
Application software Computers Artificial intelligence Education Computers and Education Computer Appl. in Social and Behavioral Sciences Information Systems and Communication Service Artificial Intelligence Education, general |
| ISBN | 3-030-19875-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Track -- Chrome plug-in to support SRL in MOOCs -- Curiouser and Curiouser: The Wonderland of Emotion in LMOOCs -- Applied Mobile-Assisted Seamless Learning Techniques in MOOCs -- Socializing on MOOCs: comparing university and self-enrolled students -- On the use of MOOCs in companies: a panorama of current practices -- Exploring the effect of Response Time on Students' Performance: a pilot study -- Blended Learning with MOOCs ‒ From Investment Effort to Success: A Systematic Literature Review on Empirical Evidence -- Goal Setting and Striving in MOOCs ‒ A Peek inside the Black Box of Learner Behaviour -- Markov Decision Process for MOOC users behavioral inference? -- Exploring the Problems Experienced by Learners in a MOOC Implementing Active Learning Pedagogies -- Designing a MOOC – A new channel for teacher professional development? -- Online course production and university internationalization: correlation analysis -- Experience Track -- Developing the Open Virtual Mobility Learning Hub -- Empowering MOOC participants: dynamic content adaptation through external tools -- Collective Resolution of Enigmas, a Meaningful and Productive Activity in Moocs -- First year of the UQ Sustainable Energy MicroMasters series: Evaluation of participation and achievement -- Reskilling Higher Education Professionals: Skills and workflow in the making of a MOOC -- How to run a massive open online course once the funding is over -- A Ubiquitous Learning Analytics Architecture for a Service-Oriented MOOC Platform -- Embracing Diversity: a raising awareness MOOC experience -- Storytelling and innovative digital techniques which increase motivation levels of MOOC participants. |
| Record Nr. | UNISA-996466207403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings / / edited by Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing
| Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings / / edited by Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 189 p. 50 illus., 41 illus. in color.) |
| Disciplina |
371.3344678
371.358 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Education—Data processing
Application software Computers Artificial intelligence Education Computers and Education Computer Appl. in Social and Behavioral Sciences Information Systems and Communication Service Artificial Intelligence Education, general |
| ISBN | 3-030-19875-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Track -- Chrome plug-in to support SRL in MOOCs -- Curiouser and Curiouser: The Wonderland of Emotion in LMOOCs -- Applied Mobile-Assisted Seamless Learning Techniques in MOOCs -- Socializing on MOOCs: comparing university and self-enrolled students -- On the use of MOOCs in companies: a panorama of current practices -- Exploring the effect of Response Time on Students' Performance: a pilot study -- Blended Learning with MOOCs ‒ From Investment Effort to Success: A Systematic Literature Review on Empirical Evidence -- Goal Setting and Striving in MOOCs ‒ A Peek inside the Black Box of Learner Behaviour -- Markov Decision Process for MOOC users behavioral inference? -- Exploring the Problems Experienced by Learners in a MOOC Implementing Active Learning Pedagogies -- Designing a MOOC – A new channel for teacher professional development? -- Online course production and university internationalization: correlation analysis -- Experience Track -- Developing the Open Virtual Mobility Learning Hub -- Empowering MOOC participants: dynamic content adaptation through external tools -- Collective Resolution of Enigmas, a Meaningful and Productive Activity in Moocs -- First year of the UQ Sustainable Energy MicroMasters series: Evaluation of participation and achievement -- Reskilling Higher Education Professionals: Skills and workflow in the making of a MOOC -- How to run a massive open online course once the funding is over -- A Ubiquitous Learning Analytics Architecture for a Service-Oriented MOOC Platform -- Embracing Diversity: a raising awareness MOOC experience -- Storytelling and innovative digital techniques which increase motivation levels of MOOC participants. |
| Record Nr. | UNINA-9910337843003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / / edited by Marsha Chechik, Martin Wirsing
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / / edited by Marsha Chechik, Martin Wirsing |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 488 p.) |
| Disciplina | 005.1 |
| 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 Theory of Computation |
| ISBN | 3-642-00593-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Scalable Analysis of Scalable Systems -- Scalable Analysis of Scalable Systems -- Model-Driven Development -- Rewriting Logic Semantics and Verification of Model Transformations -- Confluence in Domain-Independent Product Line Transformations -- Object Flow Definition for Refined Activity Diagrams -- A Category-Theoretical Approach to the Formalisation of Version Control in MDE -- Synthesis and Adaptation -- Controller Synthesis from LSC Requirements -- Interface Generation and Compositional Verification in JavaPathfinder -- A Formal Way from Text to Code Templates -- Context-Aware Adaptive Services: The PLASTIC Approach -- Modeling -- Synchronous Modeling and Validation of Priority Inheritance Schedulers -- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy -- Testing and Debugging -- Reducing the Costs of Bounded-Exhaustive Testing -- Logical Testing -- Cross-Entropy-Based Replay of Concurrent Programs -- Model Analysis -- Control Dependence for Extended Finite State Machines -- Proving Consistency of Pure Methods and Model Fields -- On the Implementation of @pre -- Formal Specification and Analysis of Timing Properties in Software Systems -- Patterns -- Formal Foundation for Pattern-Based Modelling -- Problem-Oriented Documentation of Design Patterns -- Security -- Certification of Smart-Card Applications in Common Criteria -- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks -- A Formal Connection between Security Automata and JML Annotations -- Queries and Error Handling -- Algorithms for Automatically Computing the Causal Paths of Failures -- Mining API Error-Handling Specifications from Source Code -- SNIFF: A Search Engine for Java Using Free-Form Queries -- Inquiry and Introspection for Non-deterministic Queries in Mobile Networks -- Tools (Demos) and Program Analysis -- hol-TestGen -- CADS*: Computer-Aided Development of Self-* Systems -- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis -- Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection -- Enhanced Property Specification and Verification in BLAST -- Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. |
| Record Nr. | UNISA-996466031203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Science, Engineering and Management [[electronic resource] ] : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / / edited by Songmao Zhang, Martin Wirsing, Zili Zhang
| Knowledge Science, Engineering and Management [[electronic resource] ] : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / / edited by Songmao Zhang, Martin Wirsing, Zili Zhang |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXVII, 858 p. 249 illus. in color.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Optical data processing
Artificial intelligence Pattern recognition Computer graphics Computer communication systems Algorithms Image Processing and Computer Vision Artificial Intelligence Pattern Recognition Computer Graphics Computer Communication Networks Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-25159-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal reasoning and ontologies -- Knowledge management and concept analysis -- Knowledge discovery and recognition methods -- Text mining and analysis -- Recommendation algorithms and systems -- Machine learning algorithms -- Detection methods and analysis -- Classification and clustering -- Mobile data analytics and knowledge management -- Bioinformatics and computational biology -- Evidence theory and its application. |
| Record Nr. | UNISA-996466430203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / / edited by Songmao Zhang, Martin Wirsing, Zili Zhang
| Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / / edited by Songmao Zhang, Martin Wirsing, Zili Zhang |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXVII, 858 p. 249 illus. in color.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Optical data processing
Artificial intelligence Pattern recognition Computer graphics Computer communication systems Algorithms Image Processing and Computer Vision Artificial Intelligence Pattern Recognition Computer Graphics Computer Communication Networks Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-25159-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal reasoning and ontologies -- Knowledge management and concept analysis -- Knowledge discovery and recognition methods -- Text mining and analysis -- Recommendation algorithms and systems -- Machine learning algorithms -- Detection methods and analysis -- Classification and clustering -- Mobile data analytics and knowledge management -- Bioinformatics and computational biology -- Evidence theory and its application. |
| Record Nr. | UNINA-9910484821703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Methods of Programming [[electronic resource] ] : Selected Papers on the CIP-Project / / edited by Manfred Broy, Martin Wirsing
| Methods of Programming [[electronic resource] ] : Selected Papers on the CIP-Project / / edited by Manfred Broy, Martin Wirsing |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (X, 250 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques |
| ISBN | 3-540-38491-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two metamodels for application system development conventional vs. object-oriented approach -- Transformational meta program development -- Another case study on reusability of transformational developments -- A formal method for the systematic reuse of specification components -- Deductive program development: Evaluation in reverse Polish notation as an example -- Literate program derivation: A case study -- Programs viewed as Skolem functions -- Calculating a garbage collector -- On the use of elements of functional programming in program development by transformations -- Transformational development of circuit descriptions for binary adders. |
| Record Nr. | UNISA-996465291103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Language Implementation and Logic Programming [[electronic resource] ] : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings / / edited by Maurice Bruynooghe, Martin Wirsing
| Programming Language Implementation and Logic Programming [[electronic resource] ] : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings / / edited by Maurice Bruynooghe, Martin Wirsing |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XI, 494 p. 27 illus.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computers Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Programming Techniques Theory of Computation Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-47297-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Improving control of logic programs by using functional logic languages -- Independent AND-parallel implementation of narrowing -- Binding techniques and garbage collection for OR-parallel CLP systems -- Path analysis for lazy data structures -- Why the occur-check is not a problem -- Incremental evaluation of natural semantics specifications -- Subsumption-oriented Push-Down Automata -- Unlimp uniqueness as a leitmotiv for implementation -- Using cached functions and constructors for incremental attribute evaluation -- Strictness analysis for attribute grammars -- Checking and debugging of two-level grammars -- On safe folding -- Unfold/fold transformations preserving termination properties -- A technique for transforming logic programs by fold-unfold transformations -- FOLON: An environment for declarative construction of logic programs -- A complete indexing scheme for WAM-based abstract machines -- Fast prolog with a VAM1p based Prolog compiler -- Metastructures vs. attributed variables in the context of extensible unification -- Comparing the Galois connection and widening/narrowing approaches to abstract interpretation -- Derivation of linear size relations by abstract interpretation -- Generic abstract interpretation algorithms for prolog: Two optimization techniques and their experimental evaluation -- A bottom-up interpreter for a higher-order logic programming language -- Camel: An extension of the categorical abstract machine to compile functional/logic programs -- On the interaction of lazy evaluation and backtracking -- Interprocedural dynamic slicing -- Algorithmic debugging for lazy functional languages -- A general trace query mechanism based on Prolog -- Fully declarative logic programming -- Our LIPS are sealed: Interfacing functional and logic programming systems -- Analyses of inconsistency for incremental equational logic programming -- I/O trees and interactive lazy functional programming -- UCG-E: An equational logic programming system -- A relational programming system with inferred representations -- An implementation of action semantics (Summary) -- BinProlog: A continuation passing style Prolog engine -- LaToKi: A language toolkit for bottom-Up evaluation of functional programs -- Implementing higher-order functions in an algebraic specification language with narrowing -- Implementing attribute grammars by computational models -- ProQuery: Logical access to an OODB -- Inference of inheritance relationships from Prolog programs: a system developed with PrologIII -- CLP(PB). |
| Record Nr. | UNISA-996465489103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Language Implementation and Logic Programming [[electronic resource] ] : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / / edited by Jan Maluszynski, Martin Wirsing
| Programming Language Implementation and Logic Programming [[electronic resource] ] : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / / edited by Jan Maluszynski, Martin Wirsing |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XII, 435 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Mathematical logic Programming languages (Electronic computers) Artificial intelligence Computer logic Programming Techniques Mathematical Logic and Foundations Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs |
| ISBN | 3-540-38362-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Standard ML of New Jersey -- Adding equations to NU-Prolog -- Extraction of functional from logic program -- The MAS specification component -- Domesticating imperative constructs so that they can live in a functional world -- Logic-based specification of visibility rules -- Optimal instruction scheduling using constraint logic programming -- An architectural model for OR-parallellism on distributed memory systems -- FRATS: A parallel reduction strategy for shared memory -- Narrowing as an incremental constraint satisfaction algorithm -- The implementation of lazy narrowing -- Semantics-directed generation of a Prolog compiler -- A framework to specify database update views for Prolog -- Concepts for a modular and distributed Prolog language -- From parlog to polka in two easy steps -- Precedences in specifications and implementations of programming languages -- A randomized heuristic approach to register allocation -- Generating efficient code from data-flow programs -- On the borderline between grammars and programs -- Efficient incremental evaluation of higher order attribute grammars -- Profit: A system integrating logic programming and attribute grammars -- Towards a meaning of LIFE -- U-log, an ordered sorted logic with typed attributes -- Compilation of predicate abstractions in higher-order logic programming -- Abstract interpretation: A kind of magic -- Abstract interpretation for type checking -- A technique for recursive invariance detection and selective program specialization -- Dynamic detection of determinism in functional logic languages -- Unfolding — definition — folding, in this order, for avoiding unnecessary variables in logic programs -- Efficient integration of simplification into Prolog -- Lazy evaluation in logic -- S-SLD-resolution — An operational semantics for logic programs with external procedures -- Operational semantics of constraint logic programming over finite domains -- Constraints for synchronizing coarse-grained sequential logic processes -- Extending execution trees for debugging and animation in logic programming -- A narrowing-based theorem prover -- The ALF system -- Experiences with gentle: Efficient compiler construction based on logic programming -- The system FLR ( Fast laboratory for recomposition ) -- Multilanguage interoperability -- Short overview of the CLPS system. |
| Record Nr. | UNISA-996465303203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
