Recent Trends in Data Type Specification [[electronic resource] ] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers / / edited by Hartmut Ehrig, Fernando Orejas |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (VIII, 356 p.) |
Disciplina | 005.7/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-48361-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards an algebraic semantics for the object paradigm -- Rewriting techniques for software engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based kit for defining high-level algebraic Petri nets -- Institutions for very abstract specifications -- About the “correctness” and “adequacy” of PLUSS specifications -- Semantic constructions in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL light concepts to Maude -- Algebraic high level nets -- 2-Categorical specification of partial algebras -- A behavioural algebraic framework for modular system design with reuse -- On fibred adjunctions and completeness for fibred categories -- Implementing inequality and nondeterministic specifications with bi-rewriting systems -- A semantic basis for logic-independent transformation -- Unified algebras and abstract syntax -- Structured inheritance for algebraic class specifications -- Towards a theory for the animation of algebraic specifications -- Second-order proof systems for algebraic specification languages -- An institution of object behaviour. |
Record Nr. | UNISA-996466255203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Recent Trends in Data Type Specification [[electronic resource] ] : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings / / edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 384 p.) |
Disciplina | 005.7/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer logic Software engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering |
ISBN | 3-540-38416-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ADT implementation and completion by induction from examples -- An association of Algebraic term nets and abstract data types for specifying real communication protocols -- The specification language GSBL -- Composition of algebraic high-level nets -- A match operation for rule-based modular system design -- Towards object-oriented algebraic specifications -- Inductive completion for transformation of equational specifications -- A notion of implementation for the specification language OBSCURE -- Model-theoretic specifications and back-and-forth equivalences -- Universal algebra in higher types -- Clausal rewriting: Applications and implementation -- Constraints for behavioural specifications -- Entities: An institution for dynamic systems -- A 2-category approach to critical pair completion -- A kernel specification formalism with higher-order parameterisation -- Extended ML: Past, present and future -- Dependent types considered necessary for specification languages -- Generic types in a language for data directed design -- Design of a compiler for lazy pattern driven narrowing. |
Record Nr. | UNISA-996465662403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 [[electronic resource] ] : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) / / edited by Josep Diaz, Fernando Orejas |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
Descrizione fisica | 1 online resource (XII, 392 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Architecture, Computer Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Computer System Implementation Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-46118-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards a meaning of ‘M’ in VDM -- Algebraic specification and functionals for transformational program and meta program development -- On the use of specification styles in the design of distributed systems -- Specifying Avalon objects in Larch -- A self-applicable partial evaluator for term rewriting systems -- Verifying correctness of logic programs -- Specifying the behavior of graphical objects using Esterel -- A preprocessor based module system for Prolog -- Formulas, processes, and Petri-Nets applied to the specification and verification of a HDLC protocol -- Compilation of lambda-calculus into functional machine code -- Polymorphic subtype inference: Closing the theory-practice gap -- FACILE: A symmetric integration of concurrent and functional programming -- Development of concurrent programs: An example -- Horn clause programs with polymorphic types: Semantics and resolution -- Type checking, universe polymorphism, and typical ambiguity in the calculus of constructions draft -- Is type checking practical for system configuration? -- An introduction to PSFd -- Processes and functions -- Binding time analysis for polymorphically typed higher order languages -- A fine grain parallel implementation of PARLOG -- Specification and verification of TCSP systems by means of partial abstract data types -- LEAP: A language with eval and polymorphism -- The semantics of program slicing and program integration -- Toward formal development of ML programs: Foundations and methodology. |
Record Nr. | UNISA-996465341103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 [[electronic resource] ] : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) / / edited by Josep Diaz, Fernando Orejas |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
Descrizione fisica | 1 online resource (XII, 383 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Mathematical logic Architecture, Computer Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations Computer System Implementation Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-46116-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The varieties of programming language -- Independence of negative constraints -- Completion procedures as transition rules + control -- A modular framework for specification and implementation -- On the existence of initial models for partial (higher-order) conditional specifications -- Terms and infinite trees as monads over a signature -- The subsequence graph of a text -- Syntactical properties of unbounded nets of processors -- Shuffle equations, parallel transition systems and equational Petri nets -- Towards a lambda-calculus for concurrent and communicating systems -- A distributed, net oriented semantics for Delta Prolog -- Continuation semantics for PROLOG with cut -- Labeled trees and relations on generating functions -- Proofs of declarative properties of logic programs -- The reachability problem for ground TRS and some extensions -- Order-sorted completion: The many-sorted way -- Algebraization and integrity constraints for an extended entity-relationship approach -- Decidable boundedness problems for hyperedge-replacement graph grammars -- Implementation of parameterized observational specifications -- Priority controlled incremental attribute evaluation in attributed graph grammars -- Some applications and techniques for generating functions -- Semi-constructive formal systems and axiomatization of abstract data types -- Inductive proofs by resolution and paramodulation -- Local model checking in the modal mu-calculus. |
Record Nr. | UNISA-996465337903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|