Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 72 | << page >> |
Sort by
|
Book
Year: 1986 Publisher: New York, NY : Association for Computing Machinery,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The papers in this volume were presented at the Thirteenth Annual ACM Symposium on the Principles of Programming Languages, sponsored jointly by SIGACT and SIGPLAN. They were selected from 165 abstracts submitted in response to the program committee's call for papers. We thank all those who submitted abstracts for their interest in POPL.Submissions were not formally refereed, but each was read by the entire program committee. As usual, technical excellence was an essential criterion, but our selections were also influenced by factors such as topicality and the desire to strike a balance between papers of theoretical and practical interest. Because of this, and especially in light of the large number of abstracts submitted this year, we expect that revised or expanded versions of many of the submissions will eventually appear in refereed journals.
Book
ISBN: 0895883791 Year: 1986 Publisher: San Francisco (Calif.) : Sybex,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D3 --- 681.3*D3 Programming languages --- Programming languages
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming languages (Electronic computers) --- -Congresses
Book
ISBN: 1139171895 Year: 1986 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.
Book
Year: 1986 Publisher: New York : Association for Computing Machinery,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra --- Programming languages (Electronic computers) --- Data processing
ISBN: 0133297640 0133297497 0133296733 9780133297645 9780133297492 9780133296730 Year: 1986 Publisher: Englewood Cliffs: Prentice Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Fourth generation computers --- Languages, Artificial --- Fourth generation computers. --- Programming languages (Electronic computers). --- Programming languages (Electronic computers) --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Programming
ISBN: 0393955443 Year: 1986 Publisher: London : W. W. Norton,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1986 Publisher: Alexandria, VA : U.S. Army Research Institute for the Behavioral and Social Sciences,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540962352 0387962352 9783540962359 9780387962351 Year: 1986 Publisher: New York: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Pascal (Computer program language) --- #ABIB:aeco --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- Turbo Pascal (Computer file) --- referentiewerken informatica --- referentiewerken informatica. --- Programming languages (Electronic computers) --- Pascal (Computer program language). --- Naslagwerken
| Listing 1 - 10 of 72 | << page >> |
Sort by
|