Formal models, languages and applications /

Formal models, languages and applications /

41

Bibliographic Details
Main Authors:	361113 Subramaniam, K. G., Subramanian, K., Rangarajan, K., Mukund, Madhavan
Format:
Language:	eng
Published:	Singapore : World Scientific, 2006
Subjects:	Formal languages Computational complexity Compilers (Computer programs)

Similar Items

Basic language compiler for system on chip application /
by: 418497 Nur Athiqah Harron, et al.
Published: (2007)

Basic language compiler for system on chip application [electronic resource] /
by: 418497 Nur Athiqah Harron, et al.
Published: (2007)

Formal languages, automata and numeration systems 1 /
by: Rigo, Michel, author
Published: (2014)

Optimizing compilers for modern architectures : a dependence-based approach /
by: 464202 Allen, Randy, et al.
Published: (2002)

Introduction to compiler construction in a Java world /
by: Campbell, Bill, 1950-, et al.
Published: (2013)

Modern compiler implementation in Java /
by: Appel, Andrew W., 1960-, et al.
Published: (2002)

Basic language compiler for Pic 16F and PIC18F /
by: 238098 Hamzah Asyrani Sulaiman, et al.
Published: (2007)

A retargetable C compiler : design and implementation /
by: 371499 Fraser, Christopher W., et al.
Published: (1995)

An analysis of Pascal programs /
by: 304970 Carter, Lynn Robert
Published: (1982)

Realistic compiler generation /
by: 222836 Lee, Peter
Published: (1989)

Mastering Turbo Pascal 4.0 /
by: 383226 Swan, Tom
Published: (1988)

A portable compiler : theory and practice /
by: 290740 Johnson, S. C.

Compiler design in C/
by: 396031 Holub, Allen I.
Published: (1990)

Basic language compiler for Pic 16F and PIC18F [electronic resource] /
by: 238098 Hamzah Asyrani Sulaiman
Published: (2007)

Translation of computer languages /
by: 186368 Weingarten, Frederick W.
Published: (1973)

Modern compiler design /
by: Grune, Dick, et al.
Published: (2000)

Implementing an interpreter for a functional language /
by: Hazinah Kutty Mammi 403599
Published: (1998)

Compiling with continuations /
by: 187117 Appel, Andrew W.
Published: (2006)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Compiler Theory and Construction Handbook /
by: Kirkpatrick, Lucius, author 640014, et al.
Published: (2012)

Elements of compiler design /
by: 300072 Meduna, Alexander
Published: (2008)

Engineering a compiler /
by: Cooper, Keith D. (Keith Daniel), et al.
Published: (2004)

Compiler design : virtual machines /
by: 282841 Wilhelm, R. (Reinhard), 1946-, et al.
Published: (2010)

Engineering a compiler /
by: Cooper, Keith D. (Keith Daniel), et al.
Published: (c201)

A formal refinement framework for the systems modeling language
by: Jacobs, P
Published: (2015)

Improving scalability of exploratory model checking
by: Boulgakov, A
Published: (2016)

Compiler design /
by: 371601 Wilhelm, Reinhard, et al.
Published: (1995)

Compiler design theory /
by: 428748 Lewis, Philip M., et al.
Published: (1976)

Crafting a compiler /
by: 179741 Fischer, Charles N., et al.
Published: (1988)

Using clipper /
by: 398921 Tiley, W. Edward
Published: (1988)

An introduction to compiler construction /
by: 172147 Waite, William M., et al.
Published: (1993)

Understanding and writing compilers : a do-it-yourself guide /
by: 455592 Bornat, Richard
Published: (1979)

Pengendalian ralat dalam pengkompil /
by: 226276 Mohd. Nor Zaini, et al.
Published: (1989)

Compiling ESTEREL /
by: 301980 Potop-Butucaru, Dumitru, et al.
Published: (2007)

Small-C compiler /
by: 240479 Hew, Kin Yew
Published: (1990)

Brinch hansen on Pascal compilers /
by: 393816 Brinch Hansen, Per

WATFIV : Fortran programming with the WATFIV compiler /
by: 428490 Moore, John B.
Published: (1975)

Sistem maklumat bantuan bagi pengendalian ralat dalam pengkompil /
by: 191216 Ahmad Suki Che Mohamed Arif
Published: (1989)

isQ: An Integrated Software Stack for Quantum Programming
by: Jingzhe Guo, et al.
Published: (2023-01-01)