MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Foundations of Programming Languages" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 63 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • unknown title  
  • by Formal System, Development Kiv, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
  • … of programming languages from a specification of the semantics to a verified compiler, - for building security…
  • Add To MetaCart
  • Course Information  
  • by Instructor Ada Dong
  • … the concepts and constructs of programming languages. From J. C. Mitchell, Foundations for Programming…
  • Add To MetaCart
  • A Programming Logic for Sequential Java  
  • by Arnd Poetzsch-Heffter, Peter Müller — 1999 — Programming Languages and Systems (ESOP ’99), volume 1576 of LNCS
  • …], logical foundations of programming languages form a basis for program specification technology. They allow…
  • Cited by 42 (3 self) – Add To MetaCart
  • Formal system development with KIV  
  • by Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Abt Programmiermethodik — 2000 — Fundamental Approaches to Software Engineering, number 1783 in LNCS
  • … of programming languages from a specification of the semantics to a verified compiler, – for building security…
  • Cited by 43 (26 self) – Add To MetaCart
  • A Symmetric Modal Lambda Calculus for Distributed Computing  
  • by Tom Murphy VII, Tom Murphy Vii, Karl Crary, Robert Harper, Frank Pfenning — 2004
  • …@(email omitted); Frank Pfenning Carnegie Mellon fp@(email omitted); Abstract We present a foundational language for spatially…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB