"245" Result
Sort By:
"Programming Language Concepts" uses a functional programming language (F♯) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, i…
This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Pro…
Model transformations are the glue that tie modelling activities together. If you've used modelling in anger then, whether you know it or not, you've used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementat…
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the …
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers pr…
Advances in Conceptual Modeling - Applications and Challenges: ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UM…
by Reinhartz-Berger, Iris, Hartmann, Sven, Zimányi, Esteban, Frasincar, Flavius, Dobbie, Gillian, Trujillo, Juan, Kangassalo, Hannu, Kirchberg, Markus
fromLecture Notes in Computer Science
0
Type: Book