QR kód

Formal semantics of programming languages /

Uloženo v:

Podrobná bibliografie
Další autoři:	Rustin, Randall (Editor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Englewood Cliffs : Prentice-Hall, 1972
Vydání:	[1st ed.]
Témata:	sémantika programovací jazyk
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

The anatomy of programming languages /
Autor: Fischer, Alice E.
Vydáno: (1993)

Semantics, around and beyond : an introductory course /
Autor: Kavka, Stanislav J. 1946-
Vydáno: (2015)

Functional programming and input/output /
Autor: Gordon, Andrew D., 1964-
Vydáno: (2008)

Three specialized computer architectures for functional program execution /
Autor: Vasell, Jonas
Vydáno: (1992)

A programming language /
Autor: Iverson, Kenneth E.
Vydáno: (1962)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydáno: (1996)

Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
Autor: Back, R. J. R.
Vydáno: (1993)

Elements of functional programming /
Autor: Reade, Chris
Vydáno: (1993)

Programming language design and implementation : PLDI'17 ; proceedings of the 38th ACM SIGPLAN conference ; Barcelona, Spain, June 18 - 23, 2017 /
Vydáno: (2017)

PASCAL as a second language /
Autor: Lines, Vardell
Vydáno: (1984)

Vybrané kapitoly zo sémantiky /
Autor: Zázrivcová, Monika
Vydáno: (2011)

Problémy sémantiky /
Autor: Tondl, Ladislav 1924-
Vydáno: (1966)

Deravá filozofia, deravá ekonómia : dva pojmy - dva problémy ; filozofická, sémantická analýza pojmov filozofia a ekonómia /
Autor: Špakovský, Viktor
Vydáno: (2008)

Architectural support for programming languages and operating systems : ASPLOS XXVI, twenty-six international conference; online ; April 19-23, 2021 /
Vydáno: (2021)

Architectural support for programming languages and operating systems : proceedings of the 25th ACM conference; Lausanne, Switzerland ; March 16-20, 2020 /
Vydáno: (2020)

Architectural support for programming languages and operating systems : proceedings of the 24th ACM conference; Providence, RI, USA; April 13-17, 2019/
Vydáno: (2019)

ACM transactions on programming languages and systems
Vydáno: (1979)

SDL '89. The language at work : Proceedings of the 4th SDL forum, Lisbon, Portugal, 9 - 13 Oct. 1989 /
Autor: Faergemand, Ove
Vydáno: (1989)

Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydáno: (1993)

Formal models in programming : Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 /
Autor: Neuhold, Erich J.
Vydáno: (1985)

Research topics in functional programming /
Autor: Turner, David A.
Vydáno: (1990)

A formal semantics of UML class diagrams based on transformation systems /
Autor: Tenzer, Jennifer
Vydáno: (2001)

The .NET languages. A quick translation guide /
Autor: Bischof, Brian
Vydáno: (2002)

Medzi sémantikou a epistemológiou jazyka /
Autor: Zouhar, Marián
Vydáno: (2010)

Fortran programming /
Autor: Stuart, Fredric
Vydáno: (1969)

Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente /
Autor: Böhm, Klemens
Vydáno: (1997)

The implementation of a system description language and its semantic functions /
Autor: Reeuwijk, Cornelis van
Vydáno: (1991)

Turbo Pascal. An introduction to the art and science of programming /
Autor: Savitch, Walter J. 1943-
Vydáno: (1992)

Simple program schemes and formal languages /
Autor: Engelfriet, Joost
Vydáno: (1974)

Oracle PL/SQL programming /
Autor: Feuerstein, Steven
Vydáno: (1997)

Learning to program with Visual Basic /
Autor: Mackeown, Patrick G.
Vydáno: (1999)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
Autor: Andreoli, Jean-Marc
Vydáno: (1991)

Software engineering and formal methods : SEFM 2003, Brisbane, Australia, Sept. 22 to 27, 2003 /
Autor: Dromey, R. G.
Vydáno: (2003)

The Java tutorial. Object-oriented programming for the Internet /
Autor: Campione, Mary
Vydáno: (1998)

Programming, the impossible challenge /
Autor: Walraet, Bob
Vydáno: (1989)

Java database programming /
Autor: Jepson, Brian
Vydáno: (1997)

On formal semantics of object systems with data and object attributes /
Autor: Parnitzke, Daniel
Vydáno: (2001)

ObjectWindows for C++. A shortcut to Windows programming /
Autor: Traister, Robert J.
Vydáno: (1993)

Vzťahy synonymie : logická sémantika verzus lingvistické teórie o synonymii /
Autor: Geistová Čakovská, Barbora
Vydáno: (2010)

Mondattani - szémantikai tanulmányok /
Autor: Kiefer, Ferenc
Vydáno: (1970)