Search
Feedback
About UniCat 
Help
News
| Listing 1 - 2 of 2 |
Sort by
|
ISBN: 1846286913 1846286921 9781846286919 Year: 2007 Publisher: London : Springer London : Imprint: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. Written out of a tradition that places special emphasis on operational semantics, denotational semantics and axiomatic semantics, this book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages Verifying program analyses that are part of more advanced implementations of programming languages Verifying security analyses Verifying useful program properties including information about execution time. This is an introductory text that should serve as an appetizer to the whole area of semantics with applications.
Programming languages (Electronic computers) --- Semantics --- Semantics. --- Data processing. --- Computer science. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Programming languages (Electronic computers). --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Programming languages (Electronic computers) - Semantics
Book
ISBN: 3030223973 3030223965 Year: 2019 Publisher: Cham : Springer International Publishing : Imprint: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.
Software engineering. --- Operating systems (Computers). --- Computer science. --- Computer network architectures. --- Computer Communication Networks. --- Software Engineering. --- Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Special Purpose and Application-Based Systems. --- Computer System Implementation. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Operating systems --- Software architecture --- Software engineering --- Electronic data processing --- Distributed processing --- Architecture, Software --- Computer software --- Computer software architecture --- Architecture --- Design --- Programming languages (Electronic computers). --- Special purpose computers. --- Architecture, Computer. --- Computer communication systems. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Architecture, Computer --- Special purpose computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial
| Listing 1 - 2 of 2 |
Sort by
|