Call Number (LC) Title Results
QA76.7 .S54 SIGPLAN notices.
ACM SIGPLAN notices.
Proceedings of the ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE. 		3
QA76.7 .S59 1995 Formal syntax and semantics of programming languages : a laboratory based approach / 1
QA76.7 .S6 1983 The programming languages : Pascal, Modula, CHILL, and Ada / 2
QA76.7 .S62 2010 Introduction to concurrency in programming languages / 1
QA76.7 .S62 2010eb Introduction to concurrency in programming languages
Introduction to concurrency in programming languages / 		2
QA76.7 .S64 1995 Specification and validation methods / 1
Qa76.7.S67 T34 2006 Learning MySQL / 1
QA76.7.S67 T34 2007 Learning MySQL / 1
QA76.7 .S68 2011 Autonomics development a domain-specific aspect language approach / 1
QA76.7 .S72 1995 The study of programming languages / 1
QA76.7 .S74 Denotational semantics : the Scott-Strachey approach to programming language theory / 1
QA76.7 .S75 2014 Foundations of fuzzy logic and Semantic Web languages / 1
QA76.7 .S77 2006 Domain-theoretic foundations of functional programming / 1
QA76.7 .S82 1991 Semantics of type theory : correctness, completeness and independence results / 1
QA76.7 .S84 2014 Programming language foundations / 1
QA76.7 .S87 2014eb Foundations of fuzzy logic and Semantic Web languages 2
QA76.7 .S94 1979 Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Language design and programming methodology proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 / 		2
QA76.7 .S96 1975 Methods of algorithmic language implementation 1
QA76.7 .T36 2001 Advances in computational verb systems / 1
QA76.7 .T369 2010eb Seven languages in seven weeks : a pragmatic guide to learning programming languages / 1