Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 16 | << page >> |
Sort by
|
Book
ISBN: 3642370357 3642370365 Year: 2013 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.
Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logics and Meanings of Programs. --- Computer programming --- Programming languages (Electronic computers) --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming
Digital
ISBN: 9783642370366 Year: 2013 Publisher: Berlin, Heidelberg Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.
Logic --- Computer science --- Programming --- Computer. Automation --- computers --- ontwerpen --- programmeren (informatica) --- programmeertalen --- software engineering --- computerkunde
Book
ISBN: 9781457185120 1457185121 9781593274924 1593274920 Year: 2013 Publisher: San Francisco : No Starch Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
In Realm of Racket you'll learn to wield Racket's mighty yet mind-bending power by reading comics and programming games.
ISBN: 026256114X Year: 1998 Publisher: Cambridge, Mass. MIT
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- ML (Computer program language) --- ML (Computer program language).
ISBN: 026256100X Year: 1996 Publisher: Cambridge, Mass. MIT Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0262560380 Year: 1987 Publisher: Cambridge
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
LISP (Computer program language) --- 681.3*D32 --- 681.3*D32 language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- List processing computer language --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- List processing (Electronic computers) --- Programming --- Langages de programmation --- Programming languages (Electronic computers)
ISBN: 0262560992 Year: 1997 Publisher: Cambridge, Mass. MIT Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9780262062756 0262062755 Year: 2009 Publisher: Cambridge (Mass.): MIT Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Redex (Computer program language) --- Domain-specific programming languages --- Programming languages (Electronic computers) --- Semantics --- Domain-specific programming languages. --- Semantics. --- Redex (Computer program language). --- Programming language semantics --- Application languages (Computer science) --- Domain-specific languages (Computer science) --- DSLs (Domain-specific programming languages) --- Little languages (Computer science) --- Macros (Domain-specific programming languages) --- Problem-oriented languages (Computer science) --- PLT Redex (Computer program language) --- Functional programming languages --- Programming languages (Electronic computers) - Semantics
Book
ISBN: 9782225823572 222582357X Year: 1991 Publisher: Paris: Masson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1999 Publisher: Houston Rice university. Department of computer science
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 16 | << page >> |
Sort by
|