Abstract interpretation of declarative languages /
| Other Authors: | Abramsky, Samson, 1953-, Hankin, Chris |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester, West Sussex, England : New York :
E. Horwood ; Halsted Press,
1987.
|
| Series: | Computers and their applications.
|
| Subjects: |
Similar Items
Realistic compiler generation /
by: Lee, Peter, 1960-
Published: (1989)
by: Lee, Peter, 1960-
Published: (1989)
Study and compilation of computer languages /
by: Wallach, Y. (Yehuda), 1928-
Published: (1974)
by: Wallach, Y. (Yehuda), 1928-
Published: (1974)
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 /
Published: (1980)
Published: (1980)
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
Published: (2024)
Published: (2024)
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Published: (2024)
Published: (2024)
High-level languages and their compilers /
by: Watson, Des
Published: (1989)
by: Watson, Des
Published: (1989)
Languages and compilers for parallel computing /
Published: (1990)
Published: (1990)
Advances in languages and compilers for parallel processing /
Published: (1991)
Published: (1991)
Fully abstract models of programming languages /
by: Stoughton, Alley
Published: (1988)
by: Stoughton, Alley
Published: (1988)
Writing interactive compilers and interpreters /
by: Brown, P. J. (Peter John)
Published: (1979)
by: Brown, P. J. (Peter John)
Published: (1979)
Languages and Compilers for Parallel Computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers /
Published: (2003)
Published: (2003)
A compiler generator /
by: McKeeman, W. M. (William Marshall)
Published: (1970)
by: McKeeman, W. M. (William Marshall)
Published: (1970)
GAG : a practical compiler generator /
by: Kastens, Uwe
Published: (1982)
by: Kastens, Uwe
Published: (1982)
Language translators /
by: Zarrella, John
Published: (1982)
by: Zarrella, John
Published: (1982)
Java 17 Quick Syntax Reference : A Pocket Guide to the Java SE Language, APIs, and Library /
by: Olsson, Mikael
Published: (2022)
by: Olsson, Mikael
Published: (2022)
Translation of computer languages /
by: Weingarten, Frederick W.
Published: (1973)
by: Weingarten, Frederick W.
Published: (1973)
Programming language translation : a practical approach /
by: Terry, P. D.
Published: (1986)
by: Terry, P. D.
Published: (1986)
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM /
Published: (1991)
Published: (1991)
C² compiler concepts /
by: Teufel, B.
Published: (1993)
by: Teufel, B.
Published: (1993)
Understanding and writing compilers : a do-it-yourself guide /
by: Bornat, Richard
Published: (1979)
by: Bornat, Richard
Published: (1979)
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings /
Published: (2002)
Published: (2002)
Languages and compilers for parallel computing : 6th international workshop, Portland, Oregon, USA, August 12-14, 1993 : proceedings /
Published: (1994)
Published: (1994)
Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings /
Published: (1993)
Published: (1993)
Languages and compilers for parallel computing : 8th international workshop, LCPC ʹ95, Columbus, Ohio, USA, August 1995 : proceedings /
Published: (1996)
Published: (1996)
Full abstraction and semantic equivalence /
by: Mulmuley, Ketan
Published: (1987)
by: Mulmuley, Ketan
Published: (1987)
Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings /
Published: (1998)
Published: (1998)
Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /
Published: (2007)
Published: (2007)
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings /
Published: (2001)
Published: (2001)
Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings /
Published: (2002)
Published: (2002)
Languages and compilers for parallel computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 ; proceedings /
Published: (1999)
Published: (1999)
Languages and compilers for parallel computing : 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings /
Published: (2000)
Published: (2000)
Languages and compilers for parallel computing : 15th workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002 ; revised papers /
Published: (2005)
Published: (2005)
Languages and compilers for parallel computing : 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 ; revised papers /
Published: (2007)
Published: (2007)
Languages and compilers for parallel computing : 18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005 : revised selected papers /
Published: (2006)
Published: (2006)
Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers /
Published: (2004)
Published: (2004)
Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers /
Published: (2001)
Published: (2001)
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings /
Published: (1999)
Published: (1999)
Practical aspects of declarative languages : 8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings /
Published: (2006)
Published: (2006)
An analysis of Pascal programs /
by: Carter, Lynn Robert
Published: (1982)
by: Carter, Lynn Robert
Published: (1982)
An Optimized translation process and its application to ALGOL 68 /
Published: (1976)
Published: (1976)