- TOPLAS
- Transactions On Programming Languages And Systems (ACM)
Acronyms. 2013.
TOPLAS
Schlagen Sie auch in anderen Wörterbüchern nach:
TOPLAS — Transactions On Programming Languages And Systems (ACM) … Acronyms von A bis Z
TOPLAS — abbr. Transactions on Programming Languages and Systems (ACM) acronym Transactions on Programming Languages and Systems (ACM) … United dictionary of abbreviations and acronyms
MultiLisp — is a functional programming language and dialect of the Lisp dialect Scheme, extended with constructs for parallel execution and shared memory; MultiLisp is implemented in Interlisp. These extensions involve side effects, rendering MultiLisp non… … Wikipedia
Association for Computing Machinery — Die Association for Computing Machinery (ACM) wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet. Ziel der Organisation ist es, die „Kunst“, Wissenschaft und Anwendung der Informationstechnologie zu fördern („advancing… … Deutsch Wikipedia
JACM — Die Association for Computing Machinery (ACM) wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet. Ziel der Organisation ist es, die „Kunst“, Wissenschaft und Anwendung der Informationstechnologie zu fördern („advancing… … Deutsch Wikipedia
Удаление мёртвого кода — В теории компиляторов удалением мёртвого кода (англ. dead code elimination, DCE) называется оптимизация, удаляющая мёртвый код. Мёртвым кодом (так же бесполезным кодом) называют код, исполнение которого не влияет на вывод программы, все… … Википедия
Association for Computing Machinery — Infobox Organization name = Association for Computing Machinery image border = size = 80x80 caption = formation = 1947 type = headquarters = New York, NY location = membership = 83,000 language = leader title = President leader name = Wendy Hall… … Wikipedia
Floating point — In computing, floating point describes a method of representing real numbers in a way that can support a wide range of values. Numbers are, in general, represented approximately to a fixed number of significant digits and scaled using an exponent … Wikipedia
LALR parser — In computer science, a lookahead LR parser or LALR parser is a specialized form of LR parser that can deal with more context free grammars than Simple LR (SLR) parsers. It is a very popular type of parser because it gives a good trade off between … Wikipedia
Register transfer language — In computer science, register transfer language (RTL) is a term used to describe a kind of intermediate representation (IR) that is very close to assembly language, such as that which is used in a compiler. Academic papers and textbooks also… … Wikipedia
