000			02017nam a2200313Ia 4500
000			03039nam a22003375i 4500
001			978-3-031-43345-0
003			DE-He213
005			20240319121126.0
007			cr nn 008mamaa
008			231021s2023 sz | s |||| 0|eng d
020			_a9783031433450 _9978-3-031-43345-0
082			_a4.0151
245			_aRecent Trends in Algebraic Development Techniques _cedited by Alexandre Madeira, Manuel A. Martins. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aIX, 179 p. 106 illus., 12 illus. in color. _bonline resource.
520			_aThis book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
650			_aComputer programming. _938801
650			_aComputer Science Logic and Foundations of Programming. _938802
650			_aComputer science. _938803
650			_aFormal Languages and Automata Theory. _938804
650			_aMachine theory. _938805
650			_aProgramming Techniques. _938806
700			_aMadeira, Alexandre. _938807
700			_aMartins, Manuel A. _938808
856			_uhttps://doi.org/10.1007/978-3-031-43345-0
942			_cEBK _2ddc
999			_c15820 _d15820