000 04060nam a22005175i 4500
001 978-3-540-46118-0
003 DE-He213
005 20160624102011.0
007 cr nn 008mamaa
008 121227s1989 gw | s |||| 0|eng d
020 _a9783540461180
_9978-3-540-46118-0
024 7 _a10.1007/3-540-50940-2
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aTAPSOFT '89
_h[electronic resource] :
_bProceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 /
_cedited by J. Díaz, F. Orejas.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
300 _aXII, 392 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v352
505 0 _aTowards 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.
520 _aTAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aDíaz, J.
_eeditor.
700 1 _aOrejas, F.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540509400
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v352
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-50940-2
942 _2EBK5701
_cEBK
999 _c34995
_d34995